Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Authors
Colleges, School and Institutes
External organisations
- North Florida Community College, USA
Abstract
We show that a proof in multiplicative linear logic can be represented as a decorated surface, such that two proofs are logically equivalent just when their surfaces are geometrically equivalent. This is an extended abstract for arXiv:1601.05372
Details
Original language | English |
---|---|
Title of host publication | Proceedings Fourth International Workshop on Linearity |
Editors | Iliano Cervesato , Maribel Fernández |
Publication status | Published - 17 Jan 2017 |
Event | Fourth International Workshop on Linearity (LINEARITY 2016) - Porto, Portugal Duration: 25 Jun 2016 → 25 Jun 2016 |
Publication series
Name | Electronic Proceedings in Theoretical Computer Science |
---|---|
Volume | 238 |
ISSN (Electronic) | 2075-2180 |
Conference
Conference | Fourth International Workshop on Linearity (LINEARITY 2016) |
---|---|
Country | Portugal |
City | Porto |
Period | 25/06/16 → 25/06/16 |