lambda calculus entries

Weak Head Normal Form


Loading