lambda calculus

Related entries include:

Weak Head Normal Form;