- Ordered Models of the Lambda Calculus Antonino Salibra Alberto Carraro Fri 27 December 2013
- A Filter Lambda Model and the Completeness of Type Assignment Henk Barendregt Mario Coppo Mariangiola Dezani-Ciancaglini Thu 13 June 2013
- Loader and Urzyczyn Are Logically Related Sylvain Salvati Giulio Manzonetto Mai Gehrke Henk Barendregt Wed 27 March 2013
- IO vs OI in Higher-Order Recursion Schemes Axel Haddad Wed 27 March 2013
Library Size: 13G (4 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
