top | item 47171485 (no title) fritzo | 3 days ago Barendregt & Manzonetto's 2022 "A lambda calculus satellite" has a whole chapter on the S fragment, for those interested discuss order hn newest No comments yet.
No comments yet.