Theoretical Computer Science
New foundations for the geometry of interaction
Information and Computation
Geometry of interaction III: accommodating the additives
Proceedings of the workshop on Advances in linear logic
Geometry of interaction 2: deadlock-free algorithms
COLOG '88 Proceedings of the International Conference on Computer Logic
Retracting Some Paths in Process Algebra
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Glueing and orthogonality for models of linear logic
Theoretical Computer Science - Category theory and computer science
Geometry of Interaction and linear combinatory algebras
Mathematical Structures in Computer Science
A categorical model for the geometry of interaction
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Towards a typed geometry of interaction
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a typed geometry of interaction
Mathematical Structures in Computer Science
| Hi-index | 0.00 |
In a recent paper we introduced a typed version of Geometry of Interaction, called the Multi-object Geometry of Interaction (MGoI). Using this framework we gave an interpretation for the unit-free multiplicative fragment of linear logic. In this paper, we extend our work to cover the exponentials. We introduce the notion of a GoI Category that embodies the necessary ingredients for an MGoI interpretation for unit-free multiplicative and exponential linear logic