Generalised algebraic theories and contextual categories (1986)

by J Cartmell
Venue:Ann. Pure Appl. Logic