- Infinitary lambda calculi and bøhm models Richard Kennaway JanWillem Klop Ronan Sleep Fer-Jan Vries Wed 29 January 2014
- Applications of infinitary lambda calculus Henk Barendregt Jan Willem Klop Wed 29 January 2014
- Weakening the Axiom of Overlap in Infinitary Lambda Calculus Paula Severi Fer-Jan de Vries Sat 25 January 2014
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
