A Notion of Class for Theory Development in Algebra (in a Predicative type theory). Presented at Workshop of Types for Proofs and Programs (1994)

by P Aczel
Venue:Presented at Workshop of Types for Proofs and Programs, Bastad