1. Fibred categories and the foundations of naive category theory;Be´nabou;J. Symbolic Logic,1985
2. Stacks and equivalence of indexed categories;Bunge;Cahiers Topologie Ge´om. Diffe´rentielle,1979
3. A. Carboni, P. Freyd and A. Scedrov, A categorical approach to realizability and polymorphic types, in: Proceedings of 3rd A.C.M. Workshop on Mathematical Foundations of Programming Language Semantics, Lecture Notes in Computer Science (Springer, Berlin, to appear).
4. Constructions: a higher-order proof system for mechanizing mathematics;Coquand,1985
5. An analysis of Girard's paradox;Coquand,1986