Author:
Moerdijk Ieke,Palmgren Erik
Reference20 articles.
1. Fibered categories and the foundations of naive category theory;Bénabou;J. Symbolic Logic,1985
2. Intuitionistic choice and classical logic;Coquand;Arch. Math. Logic,2000
3. Substitution up to isomorphism;Curien;Fund. Inform.,1993
4. Representing inductively defined sets by well-orderings in Martin-Löf's type theory;Dybjer;Theoret. Comput. Sci.,1997
5. Categories, Allegories;Freyd,1990
Cited by
77 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Computads for weak ω-categories as an inductive type;Advances in Mathematics;2024-07
2. The compatibility of the minimalist foundation with homotopy type theory;Theoretical Computer Science;2024-04
3. Automata in W-Toposes, and General Myhill-Nerode Theorems;Lecture Notes in Computer Science;2024
4. Fixpoint operators for 2-categorical structures;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
5. Native Type Theory;Electronic Proceedings in Theoretical Computer Science;2022-11-03