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 Isabelle Church integer Darwin Sequent delta reduction Delirium CParaOps5 Steve's Shell Common LISP in Parallel uC++ Austin Kyoto Common Lisp Fools' Lisp Marlais Fun SweetLambda CHOCS GC Haskell B CIRCAL jc SLIPS Burge's Language Kid QA4 CCS LAMBDA beta conversion pi-calculus epsilon propositional calculus predicate calculus CUCH Alonzo Church CIRcuit CALculus Knights of the Lambda-Calculus PROSE Scorpion head normalisation theorem symbolic logic System F TALE SOL Modular Prolog propositional logic more...