VDict - Definition of lambda-calculus

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

First < Previous 1 2 Next > Last

lambda expression lambda-calculus polymorphic lambda-calculus pure lambda-calculus typed lambda-calculus beta reduction Second-Order Lambda-calculus lambda abstraction De Bruijn notation alpha conversion Weak Head Normal Form Church integer LAMBDA System F Lambada-Calculus PPLambda delta reduction 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 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 Darwin functional programming domain theory space-cadet keyboard Lisp esim FALSE CHOCS closure conversion CIRCAL Vlisp SLIM lenient evaluation QA4 CCS pi-calculus PRL epsilon predicate calculus propositional calculus CIRcuit CALculus PROSE canonical symbolic logic

First < Previous 1 2 Next > Last