[Cartmell--1978-0000] Bibliography ItemJ. W. Cartmell. Generalised algebraic theories and contextual categories. PhD Thesis, Oxford University, 1978.