From Linear Logic to Cyclic Sharing release_aqyugtfekbaflfpmha3snzgfbm

by Masahito Hasegawa

Released as a article .

2019  

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.
In text/plain format

Archived Files and Locations

application/pdf  165.2 kB
file_ccmftbem45ga3ehuzlmybdkrkm
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2019-04-15
Version   v1
Language   en ?
arXiv  1904.06846v1
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 2ea78a4e-8717-440b-a362-99196848b0df
API URL: JSON