Author:
Di Giamberardino Paolo,Faggian Claudia
Publisher
Springer Berlin Heidelberg
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Causality in Linear Logic;Lecture Notes in Computer Science;2019
2. Jump from parallel to sequential proofs: exponentials;Mathematical Structures in Computer Science;2016-12-05
3. On the Dependencies of Logical Rules;Lecture Notes in Computer Science;2015
4. Jumping Boxes;Computer Science Logic;2009
5. Proof nets sequentialisation in multiplicative linear logic;Annals of Pure and Applied Logic;2008-10