VDict - Definition of Knights of the Lambda-Calculus

search result for Knights of the 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 Knights of the Lambda-Calculus De Bruijn notation alpha conversion Weak Head Normal Form Church integer LAMBDA System F Lambada-Calculus PPLambda 6.001 delta reduction relational calculus beta abstraction Fun domain calculus SweetLambda SLIPS Burge's Language Kid free variable tuple calculus beta conversion CUCH Alonzo Church head normalisation theorem TALE SOL Lambda Prolog call-by-need Head Normal Form Joy ISWIM quine eta conversion LambdaMOO Computational Adequacy Theorem combinator Codd's reduction algorithm Stack Environment Control Dump machine Calculus of Communicating Systems nu-calculus canonical 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 dark-side hacker esim FALSE CHOCS closure conversion CIRCAL Vlisp SLIM lenient evaluation QA4 CCS pi-calculus PRL epsilon predicate calculus propositional calculus CIRcuit CALculus PROSE

First < Previous 1 2 Next > Last