Normalising

Sorry, we're still building and haven't quite gotten to this subject yet.

Related Subjects

Normalising Terms

Strongly Normalising

Weakly Normalising

Related Phrases

Applicative Order

Dependent Type Theory

Elimination Rules

Lambda Calculus

Lazy Evaluation

Natural Deduction

Programming Languages

Related Words