reduction entries

call-by-name     call-by-need     combination     Head Normal Form     injection     lazy evaluation     lenient evaluation     name capture     normal form     Weak Head Normal Form


Loading