VDict - Definition of lambda-PRL

search result for lambda-PRL in 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 fix abstraction lambda lifting 6.001 Stack Environment Control Dump machine Ponder talk Russell's Paradox curried function functional programming Miranda domain theory Gofer Lisp canonical