\def\cprime{$'$}
\begin{thebibliography}{1}

\bibitem{Cartmell0}
John Cartmell.
\newblock Generalised algebraic theories and contextual categories.
\newblock {\em Ph.D. Thesis, Oxford University}, 1978.
\newblock \url{https://uf-ias-2012.wikispaces.com/Semantics+of+type+theory}.

\bibitem{Cartmell1}
John Cartmell.
\newblock Generalised algebraic theories and contextual categories.
\newblock {\em Ann. Pure Appl. Logic}, 32(3):209--243, 1986.

\bibitem{Cartmell2014}
John Cartmell.
\newblock Meta-theory of generalised algebraic theories.
\newblock {\em Private communication}, October, 2014.

\bibitem{Garner}
Richard Garner.
\newblock Combinatorial structure of type dependency.
\newblock {\em J. Pure Appl. Algebra}, 219(6):1885--1914, 2015.

\bibitem{NTS}
Vladimir Voevodsky.
\newblock Notes on type systems.
\newblock {\em \url{https://github.com/vladimirias/old_notes_on_type_systems}},
  2009--2012.

\bibitem{Cofamodule}
Vladimir Voevodsky.
\newblock {C-system} of a module over a monad on sets.
\newblock {\em arXiv 1407.3394, under review in the Journal Pure and Applied
  Algebra}, pages 1--20, 2014.

\bibitem{Cfromauniverse}
Vladimir Voevodsky.
\newblock A {C}-system defined by a universe category.
\newblock {\em Theory Appl. Categ.}, 30:No. 37, 1181--1215, 2015.

\bibitem{CandJf}
Vladimir Voevodsky.
\newblock {C}-system of a module over a {Jf}-relative monad.
\newblock {\em arXiv 1602.00352}, pages 1--32, 2015.

\bibitem{Csubsystems}
Vladimir Voevodsky.
\newblock Subsystems and regular quotients of {C-systems}.
\newblock In {\em Conference on Mathematics and its Applications, (Kuwait City,
  2014)}, number 658, pages 127--137, 2016.

\end{thebibliography}
