Author:
Curien Pierre-Louis,Munch-Maccagnoni Guillaume
Publisher
Springer Berlin Heidelberg
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. δ is for Dialectica;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. An S4 extension of the λμμ-calculus;Journal of Information Processing;2023
3. A Survey of the Proof-Theoretic Foundations of Logic Programming;Theory and Practice of Logic Programming;2021-11-18
4. A tutorial on computational classical logic and the sequent calculus;Journal of Functional Programming;2018
5. A theory of effects and resources: adjunction models and polarised calculi;ACM SIGPLAN Notices;2016-04-08