Internal Type Theory (1996)

Cached

Download Links

by Peter Dybjer
Venue:Lecture Notes in Computer Science
Citations:38 - 7 self