Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modal Functional (Dialectica) Interpretation;Logical Methods in Computer Science;2021-10-25
2. Herbrand's theorem as higher order recursion;Annals of Pure and Applied Logic;2020-06
3. Expansion trees with cut;Mathematical Structures in Computer Science;2019-09
4. Herbrand-Confluence;Logical Methods in Computer Science;2013-12-18
5. The Computational Content of Arithmetical Proofs;Notre Dame Journal of Formal Logic;2012-01-01