VDict - Definition of typed lambda-calculus

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

First < Previous 1 2 3 Next > Last

typed lambda-calculus polymorphic lambda-calculus Second-Order Lambda-calculus lambda expression lambda-calculus LAMBDA pure lambda-calculus TALE PPLambda beta reduction Fun lambda abstraction Computational Adequacy Theorem head normalisation theorem De Bruijn notation alpha conversion Weak Head Normal Form Church integer System F Lambda Prolog Lambada-Calculus delta reduction relational calculus beta abstraction domain calculus SweetLambda SLIPS Burge's Language Kid free variable Ponder tuple calculus beta conversion CUCH Alonzo Church Knights of the Lambda-Calculus strong typing SOL functional programming call-by-need Head Normal Form Joy ISWIM space-cadet keyboard quine eta conversion LambdaMOO combinator 6.001 Codd's reduction algorithm Stack Environment Control Dump machine Calculus of Communicating Systems cursor nu-calculus Bird-Meertens Formalism CPL Lolli name capture constant applicative form weak typing fully lazy lambda lifting Russell's Paradox Darwin domain theory Lisp Self SYDEL LIMP esim WPOP strongly typed weakly typed FALSE CHOCS closure conversion Galileo Trafola-H CIRCAL Accent drop-ins

First < Previous 1 2 3 Next > Last