A formal framework for specifying sequent calculus proof systems.

Dale Miller Elaine Pimentel

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

Keyphrases

linear logic
sequent calculus
formal model
inference rules
cut elimination
image segmentation
random variables
logical framework