Publisher
Cambridge University Press
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Complementary Proof Nets for Classical Logic;Logica Universalis;2023-09-14
2. Ideograph: A Language for Expressing and Manipulating Structured Data;Electronic Proceedings in Theoretical Computer Science;2023-04-01
3. An Analytic Propositional Proof System on Graphs;Logical Methods in Computer Science;2022-10-21
4. Exponentially Handsome Proof Nets and Their Normalization;Electronic Proceedings in Theoretical Computer Science;2021-12-30
5. The geometry of Bayesian programming;Mathematical Structures in Computer Science;2021-06