Prototype Proofs in Type Theory (2000)

Cached

Download Links

by Giuseppe Longo
Citations:1 - 0 self