Author:
Maschio Samuele,Streicher Thomas
Reference14 articles.
1. Aspects of predicative algebraic set theory I: exact completion;van den Berg;Ann. Pure Appl. Logic,2008
2. Aspects of predicative algebraic set theory II: realizability;van den Berg;Theoret. Comput. Sci.,2011
3. The Herbrand topos;van den Berg;Math. Proc. Cambridge Philos. Soc.,2013
4. Relative and modified relative realizability;Birkedal;Ann. Pure Appl. Logic,2002
5. Some applications of Kleene's methods for intuitionistic systems;Friedman,1973
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献