Hacker News new | ask | show | jobs
by fritzo 113 days ago
Barendregt & Manzonetto's 2022 "A lambda calculus satellite" has a whole chapter on the S fragment, for those interested