A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is `application/pdf`

.

##
###
An Explicit Formula for the Free Exponential Modality of Linear Logic
[chapter]

2009
*
Lecture Notes in Computer Science
*

The exponential modality of linear logic associates a commutative comonoid !A to every formula A in order to duplicate it. Here, we explain how to compute the free commutative comonoid !A as a sequential limit of equalizers in any symmetric monoidal category where this sequential limit exists and commutes with the tensor product. We then apply this general recipe to two familiar models of linear logic, based on coherence spaces and on Conway games. This algebraic approach enables to unify for

doi:10.1007/978-3-642-02930-1_21
fatcat:ld3cgburhbfftdhkp2fce6hiqu