Author:
Hernest Mircea-Dan,Trifonov Trifon
Reference18 articles.
1. Gödel’s functional (“Dialectica”) interpretation;Avigad,1998
2. Uniform Heyting Arithmetic;Berger;Annals of Pure and Applied Logic,2005
3. Refined program extraction from classical proofs;Berger;Annals of Pure and Applied Logic,2002
4. Linear logic;Girard;Theoretical Computer Science,1987
5. Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes;Gödel;Dialectica,1958
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modal Functional (Dialectica) Interpretation;Logical Methods in Computer Science;2021-10-25
2. Dialectica Interpretation with Marked Counterexamples;Electronic Proceedings in Theoretical Computer Science;2011-01-27