- Formal neighbourhoods, combinatory Bøhm trees, and untyped normalization by evaluation Peter Dybjer Denis Kuperberg Wed 13 May 2020
- A simple machine [based on the SK-combinator reduction mechanism] A. Dickinson M.T. Pope Fri 28 September 2012
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
