From Linear Logic to Cyclic Sharing
Author: Masahito Hasegawa
Paper Information
| Title: | From Linear Logic to Cyclic Sharing |
| Authors: | Masahito Hasegawa |
| Proceedings: | Linearity/TLLA Pre-proceedings |
| Editors: | Maribel Fernandez, Valeria de Paiva, Thomas Ehrhard and Lorenzo Tortora De Falco |
| Keywords: | semantics, monoidal categories, traced monoidal categories, Freyd categories, linear logic, cyclic sharing, cyclic lambda calculus, CPS translation |
| Abstract: | ABSTRACT. We present a translation from Multiplicative Exponential Linear Logic to a simply-typed lambda calculus with cyclic sharing. This translation is derived from a simple observation on the Int-construction on traced monoidal categories. It turns out that the translation is a mixture of the call-by-name CPS translation and the Geometry of Interaction-based interpretation. |
| Pages: | 10 |
| Talk: | Jul 07 14:55 (Session 28H) |
| Paper: |  |