Comment by fritzo

11 hours ago

Barendregt & Manzonetto's 2022 "A lambda calculus satellite" has a whole chapter on the S fragment, for those interested

0 comments