Author:
Diener Hannes,Ishihara Hajime
Publisher
Springer International Publishing
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
2. Lawvere-Tierney topologies for computability theorists;Transactions of the American Mathematical Society, Series B;2023-01-23