Author:
Powell Thomas,Schuster Peter,Wiesnet Franziskus
Funder
INdAM
John Templeton Foundation
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference63 articles.
1. Interactive learning-based realizability for Heyting arithmetic with EM1;Aschieri;Log. Methods Comput. Sci.,2010
2. Polynomials and radical ideals;Banaschewski;J. Pure Appl. Algebra,1996
3. A computational interpretation of open induction;Berger,2004
4. Entailment relations and distributive lattices;Cederquist,2000
5. A note on the open induction principle;Coquand,1997
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献