The Groupoid Interpretation of Type Theory (1996)

by Martin Hofmann , Thomas Streicher
Venue:In Venice Festschrift
Citations:21 - 1 self