Order-enriched categorical models of the classical sequent calculus

C Fuhrmann, D Pym

Research output: Contribution to journalArticle

12 Citations (Scopus)

Fingerprint Dive into the research topics of 'Order-enriched categorical models of the classical sequent calculus'. Together they form a unique fingerprint.

Mathematics