- An algorithm for optimal lambda calculus reduction John Lamping Mon 01 July 2013
- Interaction systems II: The practice of optimal reductions Andrea Asperti Cosimo Laneve Mon 01 July 2013
- The complexity of beta-reduction in low orders Aleksy Schubert Mon 24 June 2013
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
