On categorical models of classical logic and the Geometry of Interaction

C Fuhrmann, D Pym

Research output: Contribution to journalArticlepeer-review

8 Citations (SciVal)

Fingerprint

Dive into the research topics of 'On categorical models of classical logic and the Geometry of Interaction'. Together they form a unique fingerprint.

Mathematics