Reference16 articles.
1. L. Birkedal, Developing theories of types and computability via realizability, Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, 1999.
2. L. Birkedal, A. Carboni, G. Rosolini, D.S. Scott, Type theory via exact categories, Proc. 13th Ann. Symp. on Logic in Computer Science, 1998, pp. 188–198.
3. Handbook of Categorical Algebra 1;Borceux,1994
4. Some free constructions in realizability and proof theory;Carboni;J. Pure Appl. Algebra,1995
5. Locally cartesian closed exact completions;Carboni;J. Pure Appl. Algebra,2000
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Characterizing partitioned assemblies and realizability toposes;Journal of Pure and Applied Algebra;2019-05
2. Regular functors and relative realisability categories;Mathematical Structures in Computer Science;2013-04-18
3. Bibliography;Realizability: An Introduction to its Categorical Side;2008
4. A characterization of the left exact categories whose exact completions are toposes;Journal of Pure and Applied Algebra;2003-02