A Simple Sequent Calculus for Partial Functions.

Morten Elvang-Gøransson Olaf Owe

Published in: Theor. Comput. Sci. (1993)

Keyphrases

sequent calculus
inference rules
cut elimination
feature space
dynamic programming
general purpose