A Token Machine for Full Geometry of Interaction
Laurent, Olivier
HAL, hal-00009137 / Harvested from HAL
Text on HAL
We present an extension of the Interaction Machine (IAM) to full Linear Logic with Girard's Geometry of Interaction (GoI). We propose a simplified way to interpret the additives and the interaction between additives and exponentials by means of weights. We describe the interpretation by a token machine which allows us to recover the usual MELL case by forgetting all the additive information.
Publié le : 2001-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO],  [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] 
@article{hal-00009137,
     author = {Laurent, Olivier},
     title = {A Token Machine for Full Geometry of Interaction},
     journal = {HAL},
     volume = {2001},
     number = {0},
     year = {2001},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00009137}
}

Laurent, Olivier. A Token Machine for Full Geometry of Interaction. HAL, Tome 2001 (2001) no. 0, . http://gdmltest.u-ga.fr/item/hal-00009137/