Publisher
Springer International Publishing
Reference43 articles.
1. Atkey, R., McBride, C.: Productive coprogramming with guarded recursion. In: ICFP (2013)
2. Awodey, S., Bauer, A.: Propositions as [types]. J. Log. Comput. 14(4), 447–471 (2004)
3. Bahr, P., Grathwohl, H.B., Møgelberg, R.E.: The clocks are ticking: no more delays! In: LICS, pp. 1–12 (2017)
4. Bellin, G., De Paiva, V., Ritter, E.: Extended Curry-Howard correspondence for a basic constructive modal logic. In: M4M (2001)
5. Bierman, G.M., de Paiva, V.C.: On an intuitionistic modal logic. Stud. Logica. 65(3), 383–416 (2000)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Intuitionistic S4 as a logic of topological spaces;Journal of Logic and Computation;2024-08-06
2. Layered Modal Type Theory;Lecture Notes in Computer Science;2024
3. Asynchronous Modal FRP;Proceedings of the ACM on Programming Languages;2023-08-30
4. UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC;The Bulletin of Symbolic Logic;2023-04-20
5. Fitch-Style Modal Necessity as a Substructural Sequent-Style System;Computación y Sistemas;2023-03-30