VDict - Definition of Lambada-Calculus

search result for Lambada-Calculus in Computing (FOLDOC) dictionary

Lambada-Calculus relational calculus domain calculus tuple calculus lambda-calculus typed lambda-calculus polymorphic lambda-calculus Second-Order Lambda-calculus lambda expression pure lambda-calculus PPLambda Codd's reduction algorithm Calculus of Communicating Systems nu-calculus Bird-Meertens Formalism beta reduction Church integer Darwin delta reduction Fun SweetLambda CHOCS CIRCAL SLIPS Burge's Language Kid QA4 CCS LAMBDA beta conversion pi-calculus epsilon predicate calculus propositional calculus CUCH Alonzo Church CIRcuit CALculus Knights of the Lambda-Calculus PROSE head normalisation theorem symbolic logic System F TALE SOL Modular Prolog propositional logic Green's Theorem call-by-need Joy alpha conversion ISWIM HiLog relational algebra eta conversion predicate logic beta abstraction Computational Adequacy Theorem combinator De Bruijn notation 6.001 Stack Environment Control Dump machine free variable lambda abstraction Weak Head Normal Form delta Ponder Russell's Paradox Isabelle functional programming temporal logic domain theory Lisp fuzzy logic modal logic canonical