Internal Type Theory (1996)
by
Peter Dybjer
| Venue: | Lecture Notes in Computer Science |
| Citations: | 33 - 7 self |







