Internal Type Theory (1996)

Cached

Download Links

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