Projects per year
Abstract
Differential linear logic (DiLL) provides a fine analysis of resource consumption in cut-elimination. We investigate the subsystem of DiLL without promotion in a deep inference formalism, where cuts are at an atomic level. In our system every provable formula admits a derivation in normal form, via a normalization procedure that commutes with the translation from sequent calculus to deep inference.
Original language | English |
---|---|
Pages (from-to) | 26-49 |
Number of pages | 24 |
Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
Volume | 353 |
DOIs | |
Publication status | Published - 30 Dec 2021 |
Externally published | Yes |
Event | 2nd Joint International Workshop on Linearity and Trends in Linear Logic and Applications, Linearity and TLLA 2020 - Virtual, Online Duration: 29 Jun 2020 → 30 Jun 2020 |
ASJC Scopus subject areas
- Software
Projects
- 1 Finished
-
Typed Lambda-Calculi with Sharing and Unsharing
Engineering and Physical Sciences Research Council
1/01/19 → 30/07/22
Project: Research council