Author:
Mendler Michael,Scheele Stephan,Burke Luke
Publisher
Springer International Publishing
Reference42 articles.
1. Acclavio, M., Catta, D., Straßburger, L.: Towards a denotational semantics for proofs in constructive modal logic. arXiv preprint arXiv:2104.09115 (2021)
2. Arisaka, R., Das, A., Straßburger, L.: On nested sequents for constructive modal logics. Logical Methods in Computer Science 11 (2015)
3. Bellin, G., de Paiva, V., Ritter, E.: Extended Curry-Howard correspondence for a basic constructive modal logic. In: Methods for Modalities II (2001)
4. Benton, N., Bierman, G., de Paiva, V.: Computational types from a logical perspective. J. Funct. Program. 8(2), 177–193 (1998)
5. Blamey, S., Humberstone, L.: A perspective on modal sequent logic. Publ. Res. Inst. Math. Sci. 27, 763–782 (1991)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献