On generalized algebraic theories and contextual categories and the categorical model of dependent types:
John Cartmell, Generalised Algebraic Theories and Contextual Categories, PhD thesis, Oxford University (1978) [pdf]
John Cartmell, Generalised Algebraic Theories and Contextual Categories, Annals of Pure and Applied Logic, 32 (1986) 209-243 [doi:10.1016/0168-0072(86)90053-9]
Last revised on January 22, 2023 at 10:05:52. See the history of this page for a list of all contributions to it.