Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Partial Proof Terms in the Study of Idealized Proof Search;Lecture Notes in Computer Science;2024
2. Focusing on Refinement Typing;ACM Transactions on Programming Languages and Systems;2023-12-20
3. Superposition for Higher-Order Logic;Journal of Automated Reasoning;2023-01-21
4. Extending a High-Performance Prover to Higher-Order Logic;Tools and Algorithms for the Construction and Analysis of Systems;2023
5. Bidirectional Typing;ACM Computing Surveys;2022-06-30