VDict - Definition of pure lambda-calculus

search result for pure lambda-calculus in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

lambda expression lambda-calculus pure lambda-calculus beta reduction polymorphic lambda-calculus typed lambda-calculus Church integer Second-Order Lambda-calculus lambda abstraction delta reduction De Bruijn notation alpha conversion Weak Head Normal Form LAMBDA System F Lambada-Calculus PPLambda relational calculus beta abstraction Fun domain calculus SweetLambda SLIPS Burge's Language Kid free variable tuple calculus beta conversion CUCH Alonzo Church Knights of the Lambda-Calculus head normalisation theorem TALE SOL Lambda Prolog call-by-need Head Normal Form domain theory Joy ISWIM quine eta conversion LambdaMOO Computational Adequacy Theorem combinator 6.001 Codd's reduction algorithm Stack Environment Control Dump machine Calculus of Communicating Systems nu-calculus Bird-Meertens Formalism Lolli Ponder name capture constant applicative form fully lazy lambda lifting Russell's Paradox hue, saturation, brightness Darwin functional programming space-cadet keyboard Lisp esim FALSE CHOCS closure conversion CIRCAL Vlisp SLIM lenient evaluation QA4 CCS Quantify IGPL pi-calculus PRL epsilon propositional calculus predicate calculus Purify

First < Previous 1 2 Next > Last