Internal Type Theory (1996)

Cached

Download Links

by Peter Dybjer
Venue:Lecture Notes in Computer Science
Citations:55 - 8 self