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

by Carsten Führmann , David Pym
Venue:LECTURE AT INTERNATIONAL CENTRE FOR MATHEMATICAL SCIENCES, WORKSHOP ON PROOF THEORY AND ALGORITHMS
Citations:25 - 2 self