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 journal › Article › peer-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