Author:
Awodey Steven,Birkedal Lars
Subject
Algebra and Number Theory
Reference11 articles.
1. Local realizability toposes and a modal logic for computability;Awodey,1999
2. L. Birkedal, Developing theories of types and computability, Ph.D. Thesis, School of Computer Science, Carnegie Mellon University, 1999.
3. Aspects of topoi;Freyd;Bull. Austral. Math. Soc.,1972
4. Categories of continuous functors, I;Freyd;J. Pure Appl. Algebra,1972
5. Categorical Logic and Type Theory;Jacobs,1999
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Doctrines, modalities and comonads;Mathematical Structures in Computer Science;2021-09-14
2. The hyperconnected maps that are local;Journal of Pure and Applied Algebra;2021-05
3. Brouwer's fixed-point theorem in real-cohesive homotopy type theory;Mathematical Structures in Computer Science;2017-08-17
4. Quantum Gauge Field Theory in Cohesive Homotopy Type Theory;Electronic Proceedings in Theoretical Computer Science;2014-07-29
5. Realizability Models Separating Various Fan Theorems;Lecture Notes in Computer Science;2013