The Groupoid Interpretation of Type Theory (1996)
by
Martin Hofmann
,
Thomas Streicher
| Venue: | In Venice Festschrift |
| Citations: | 16 - 1 self |







