1. Homotopy theoretic models of identity types;Awodey;Math. Proc. Cambridge Philos. Soc.,2009
2. Des catégories fibrées, Notes by J.-R. Roisin of a course by J. Bénabou at Univ. Louvain-la-Neuve, 1980.
3. Two-dimensional monad theory;Blackwell;J. Pure Appl. Algebra,1989
4. Extracting a proof of coherence for monoidal categories from a formal proof of normalization for monoids;Beylin,1996
5. Generalised algebraic theories and contextual categories;Cartmell,1978