A notion of class for theory development in algebra in a predicative type theory (1994)

by P Aczel
Venue:In Talk presented at the workshop on Types for Proofs and Programs, Båstad