Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
lambda abstraction lambda expression lambda-calculus Weak Head Normal Form pure lambda-calculus beta reduction De Bruijn notation polymorphic lambda-calculus alpha conversion Lambda Prolog typed lambda-calculus Head Normal Form quine LAMBDA Second-Order Lambda-calculus LambdaMOO System F beta abstraction Church integer Lolli name capture constant applicative form free variable fully lazy lambda lifting delta reduction space-cadet keyboard Fun SweetLambda esim SLIPS FALSE Burge's Language closure conversion Kid beta conversion CUCH Alonzo Church Knights of the Lambda-Calculus Vlisp SLIM lenient evaluation Lambada-Calculus head normalisation theorem TALE SOL PRL PPLambda Qu-Prolog call-by-need Prolog/Mali Joy bound variable ISWIM maximal free expression eta conversion principal type full laziness Computational Adequacy Theorem combinator reduction more...