VDict - Definition of sequent calculus

search result for sequent calculus in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

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 Green's Theorem call-by-need SR 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 SISAL free variable lambda abstraction Sather

First < Previous 1 2 Next > Last