Comment by fritzo

13 hours ago

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

0 comments