Generalised algebraic theories and contextual categories. Annals of Pure and Applied Logic 32 (1986)

by J Cartmell