VDict - Definition of tuple calculus

search result for tuple calculus in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

tuple calculus relational calculus tuple domain calculus lump uncurrying Tuple Space Smalltalk lambda-calculus typed lambda-calculus polymorphic lambda-calculus Second-Order Lambda-calculus lambda expression Lambada-Calculus pure lambda-calculus PPLambda Codd's reduction algorithm Calculus of Communicating Systems nu-calculus Bird-Meertens Formalism beta reduction Church integer Darwin product uncurrying delta reduction Melinda struct coordinate TUPLE Fun SweetLambda CHOCS Cartesian product CIRCAL SLIPS SETL Concrete Data Structure Burge's Language Kid QA4 CCS LAMBDA beta conversion pi-calculus Linda epsilon predicate calculus propositional calculus CUCH Alonzo Church Hyperstrict CIRcuit CALculus Knights of the Lambda-Calculus PROSE head normalisation theorem symbolic logic System F TALE lifted domain 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

First < Previous 1 2 Next > Last