Provable isomorphisms of types
Bruce, Kim B., Di Cosmo, Roberto, Longo, GiuseppeVolume:
2
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129500001444
Date:
June, 1992
File:
PDF, 3.02 MB
english, 1992