Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. V. Danos, La logique linéaire appliquée à l’étude de divers processus de normalisation (principalement du λ-calcul), Thèse de doctorat, Université Paris VII, 1990.
2. Proof-nets and the Hilbert space;Danos,1995
3. A new deconstructive logic;Danos;J. Symbolic Logic,1997
4. R. David, W. Py, λμ-calculus and Böhm's theorem, J. Symbolic Logic 66 (1) (2001) 407–413, URL ftp://www.lama.univ-savoie.fr/pub/users/DAVID/bohm.ps.
5. A new constructive logic: classical logic;Girard;Math. Struct. Comput. Sci.,1991
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Strong Bisimulation for a Classical Term Calculus;Logical Methods in Computer Science;2024-04-18
2. Resource approximation for the λμ-calculus;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
3. A fine-grained computational interpretation of Girard’s intuitionistic proof-nets;Proceedings of the ACM on Programming Languages;2022-01-12
4. A Constructive Logic with Classical Proofs and Refutations;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
5. Proof Nets for Classical Logic;Notre Dame Journal of Formal Logic;2021-05-01