- Extensional and Non-extensional Functions as Processes Ken Sakayori Davide Sangiorgi Fri 28 April 2023
- Formal neighbourhoods, combinatory Bøhm trees, and untyped normalization by evaluation Peter Dybjer Denis Kuperberg Wed 13 May 2020
- Probabilistic lambda-theories Thomas Leventis Mon 02 April 2018
Library Size: 13G (3 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A