1. P. Aczel. A notion of class for type theory. Note, 1995.
2. D. Aspinall and A. Compagnoni. Subtyping dependent types. In Proceedings of LICS'96. IEEE Computer Society Press, 1996. To appear.
3. A. Bailey. Lego with classes. Note, 1995.
4. G. Barthe. Formalising algebra in type theory: fundamentals and applications to group theory. Manuscript. An earlier version appeared as technical report CSI-R9508, University of Nijmegen, under the title ‘Formalising mathematics in type theory: fundamentals and case studies', 1995.
5. G. Betarte and A. Tasistro. Extension of Martin-Löf's theory of types with record types and subtyping: motivation, rules and type checking. Manuscript, 1995.