DMCA
Inductive Families (1997)
by
Peter Dybjer
Venue: | Formal Aspects of Computing |
Citations: | 77 - 13 self |
Venue: | Formal Aspects of Computing |
Citations: | 77 - 13 self |