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

Abstract

A general category of games is constructed. A subcategory of saturated strategies, closed under all possible codings in copy games, is shown to model reduction in classical linear logic.
Original languageEnglish
Pages (from-to)68
Number of pages1
JournalLogic in Computer Science, Symposium on
Volume0
DOIs
Publication statusPublished - 1997

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.

Cite this