- Type Theory in Type Theory Using Quotient Inductive Types Thorsten Altenkirch Ambrus Kaposi Fri 25 September 2020
- Logical relations and the typed lambda-calculus R. Statman Fri 27 December 2013
- Lax Logical Relations Gordon D. Plotkin John Power Donald Sannella Robert D. Tennent Tue 09 July 2013
- Logical Relations Andrzej Murawski Tue 26 February 2013
- Prelogical Relations Furio Honsell Donald Sannella Mon 18 February 2013
- Lambda-definability and Logical Relations Gordon Plotkin Sun 17 February 2013
Library Size: 13G (6 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
