1. P. Aczel. Galois: a theory development project. A report on work in progress for the Turin meeting on the Representation of Logical Frameworks, 1993.
2. T. Altenkirch, V. Gaspes, B. Nordström, and B. von Sydow. A user's guide to ALF. Draft, January 1994.
3. J. Bénabou. Fibred categories and the foundation of naive category theory. Journal of Symbolic Logic, 50:10–37, 1985.
4. I. Beylin and P. Dybjer. Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids. This volume.
5. J. Cartmell. Generalized algebraic theories and contextual categories. Annals of Pure and Applied Logic, 32:209–243, 1986.