@inproceedings{2b5489b54ede4334abafe0013ff5beab,
title = "A functorial bridge between the infinitary affine lambda-calculus and linear logic",
abstract = "It is a well known intuition that the exponential modality of linear logic may be seen as a form of limit. Recently, Melli{\`e}s, Tabareau and Tasson gave a categorical account for this intuition, whereas the first author provided a topological account, based on an infinitary syntax. We relate these two different views by giving a categorical version of the topological construction, yielding two benefits: on the one hand, we obtain canonical models of the infinitary affine lambda-calculus introduced by the first author; on the other hand, we find an alternative formula for computing free commutative comonoids in models of linear logic with respect to the one presented by Melli{\`e}s et al.",
author = "Damiano Mazza and Luc Pellissier",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015 ; Conference date: 29-10-2015 Through 31-10-2015",
year = "2015",
month = jan,
day = "1",
doi = "10.1007/978-3-319-25150-9\_10",
language = "English",
isbn = "9783319251493",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "144--161",
editor = "Camilo Rueda and Valencia, \{Frank D.\} and Valencia, \{Frank D.\} and Martin Leucker",
booktitle = "Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings",
}