Order-enriched categorical models of the classical sequent calculus (2004)

by Carsten Führmann, David Pym
Venue:Journal of Pure and Applied Algebra