From Linear Logic to Cyclic Sharing
Logic in Computer Science
2019-04-16 v1 Programming Languages
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.
Keywords
Cite
@article{arxiv.1904.06846,
title = {From Linear Logic to Cyclic Sharing},
author = {Masahito Hasegawa},
journal= {arXiv preprint arXiv:1904.06846},
year = {2019}
}
Comments
In Proceedings Linearity-TLLA 2018, arXiv:1904.06159