Ctrlk

Lambda Calculus

Church-Rosser theorem Curry's paradox De Bruijn index de Bruijn notation Deductive lambda calculus Kleene-Rosser paradox Aspects of the lambda calculus Function Refactoring Lambda lifting Let expression Reduction strategy Substitution

PreviousVariables NextChurch-Rosser theorem

Last updated 4 years ago