1. Path categories and propositional identity types;van den Berg;ACM Trans. Comput. Log.,2018
2. Exact completion of path categories and algebraic set theory. Part I: exact completion of path categories;van den Berg;J. Pure Appl. Algebra,2018
3. M. den Besten, On homotopy exponentials in path categories, in preparation.
4. Abstract homotopy theory and generalized sheaf cohomology;Brown;Trans. Am. Math. Soc.,1973
5. A categorical approach to realizability and polymorphic types;Carboni,1988