×

Cones as a model of intuitionistic linear logic. (English) Zbl 1498.03157

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 370-383 (2020).

MSC:

03F52 Proof-theoretic aspects of linear logic and other substructural logics
03B20 Subsystems of classical logic (including intuitionistic logic)
PDFBibTeX XMLCite
Full Text: DOI HAL