Publisher
Cambridge University Press
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exponentially Handsome Proof Nets and Their Normalization;Electronic Proceedings in Theoretical Computer Science;2021-12-30
2. A MALL geometry of interaction based on indexed linear logic;Mathematical Structures in Computer Science;2020-11
3. Abstract machines, optimal reduction, and streams;Mathematical Structures in Computer Science;2019-04-08
4. Proof-Net as Graph, Taylor Expansion as Pullback;Logic, Language, Information, and Computation;2019
5. Proof Nets and the Linear Substitution Calculus;Theoretical Aspects of Computing – ICTAC 2018;2018