A. John Power, Charles Wells A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1992, v:2, n:1, pp:1-28 [Journal]
Thomas Streicher Dependence and Independence Results for (Impredicative) Calculi of Dependent Types. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1992, v:2, n:1, pp:29-54 [Journal]