Generalized algebraic theories and contextual categories (1986)

by J Cartmell
Venue:Annals of Pure and Applied Logic