Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
relational calculus domain calculus tuple calculus 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 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 more...