Synthetic topos theory
[Cartmell--1978-0000] Bibliography Item

J. W. Cartmell. Generalised algebraic theories and contextual categories. PhD Thesis, Oxford University, 1978.