Funder
ERC
Danish Council for Independent Research
Air Force Office of Scientific Research
Subject
Algebra and Number Theory
Reference24 articles.
1. A general notion of realizability;Birkedal,2000
2. The free exact category on a left exact one;Carboni;J. Aust. Math. Soc. (Ser. A),1982
3. A categorical approach to realizability and polymorphic types;Carboni,1988
4. Reflective subcategories, localizations and factorization systems;Cassidy;J. Aust. Math. Soc. Ser. A,1985
5. Locally cartesian closed exact completions;Carboni;J. Pure Appl. Algebra,2000
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献