reduction entries

call-by-namecall-by-needcombination
Head Normal Forminjectionlazy evaluation
lenient evaluationname capturenormal form
Weak Head Normal Form  

Loading