Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
Qu-Prolog 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 SML# 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 call-by-need Prolog/Mali Joy bound variable ISWIM maximal free expression eta conversion principal type full laziness Computational Adequacy Theorem combinator more...