Believe it or not, AJM's games model is a model of classical linear logic

P. Baillot, V. Danos, T. Ehrhard, L. Regnier

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'Believe it or not, AJM's games model is a model of classical linear logic'. Together they form a unique fingerprint.

Mathematics