VDict - Definition of polymorphic lambda-calculus

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

First < Previous 1 2 Next > Last

polymorphic lambda-calculus typed lambda-calculus lambda expression lambda-calculus System F pure lambda-calculus PPLambda beta reduction Second-Order Lambda-calculus lambda abstraction TALE De Bruijn notation alpha conversion Weak Head Normal Form Church integer LAMBDA Lambada-Calculus delta reduction relational calculus beta abstraction Fun domain calculus SweetLambda SLIPS Ponder Burge's Language Kid free variable tuple calculus beta conversion CUCH Alonzo Church Poly Knights of the Lambda-Calculus head normalisation theorem SOL Lambda Prolog SML#call-by-need Head Normal Form Joy ISWIM quine PPL eta conversion LambdaMOO Xfun 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 name capture Isabelle constant applicative form Miranda fully lazy lambda lifting Russell's Paradox Darwin polymorphism functional programming domain theory space-cadet keyboard IFX Lisp KFX Trafola-H polymorphic OLGA esim FALSE Pebble Ten15 CHOCS Machiavelli closure conversion

First < Previous 1 2 Next > Last