Provable Isomorphisms of Types (1990)

Cached

Download Links

by Kim B. Bruce , Roberto Di Cosmo , Giuseppe Longo
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:39 - 8 self