## 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 |