- Loader and Urzyczyn Are Logically Related Sylvain Salvati Giulio Manzonetto Mai Gehrke Henk Barendregt Wed 27 March 2013
- Unary PCF is decidable Ralph Loader Tue 19 February 2013
- Finitary PCF is not decidable Ralph Loader Mon 18 February 2013
- Reasoning about sequential functions via logical relations Kurt Sieber Mon 18 February 2013
- Lambda-Definability in the Full Type Hierarchy Gordon Plotkin Sun 17 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
