Provable isomorphisms of types (1992)

by K Bruce, R Di Cosmo, G Longo
Venue:Mathematical Structures in Computer Science