Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Electronic Notes in Theoretical Computer Science;V. Danos,1996
2. Vincent Danos and Laurent Regnier. The structure of multiplicatives. Archive for Mathematical Logic, 28:181–203, 1989.
3. Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1–102, 1987.
4. Jean-Yves Girard. A new constructive logic: classical logic. Mathematical Structures in Computer Science, 1(3):255–296, 1991.
5. Jean-Yves Girard. Quantifiers in linear logic II. In Corsi and Sambin, editors, Nuovi problemi della logica e della filosofia della scienza, pages 79–90, Bologna, 1991. CLUEB.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Session Abstract Machine;Lecture Notes in Computer Science;2024
2. Proof Nets for Classical Logic;Notre Dame Journal of Formal Logic;2021-05-01
3. Polarized Substructural Session Types;Lecture Notes in Computer Science;2015
4. Construction of Retractile Proof Structures;Lecture Notes in Computer Science;2014
5. Proof nets and the call-by-value lambda-calculus;Electronic Proceedings in Theoretical Computer Science;2013-03-28