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 Gol Category that embodies the necessary ingredients for an MGoI interpretation for unit-free multiplicative and exponential linear logic. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Haghverdi, E. (2006). Typed Gol for exponentials. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4052 LNCS, pp. 384–395). Springer Verlag. https://doi.org/10.1007/11787006_33
Mendeley helps you to discover research relevant for your work.