@article{MSC:4439524,
    Author = {Bruce, Kim B. and Di Cosmo, Roberto and Longo, Giuseppe},
    File = {Provable isomorphisms of types - Bruce, Di Cosmo, Longo (0) (0) - a - a - k.pdf},
    ISSN = {1469-8072},
    Issue = {02},
    Journal = {Mathematical Structures in Computer Science},
    Month = {6},
    Pages = {231--247},
    Title = {Provable isomorphisms of types},
    URL = {http://journals.cambridge.org/article\_S0960129500001444},
    Volume = {2},
    Year = {1992},
    bdsk-url-1 = {http://journals.cambridge.org/article\_S0960129500001444},
    bdsk-url-2 = {http://dx.doi.org/10.1017/S0960129500001444},
    date-added = {2013-11-12 14:30:22 +0000},
    date-modified = {2013-11-12 14:30:22 +0000},
    numpages = {17},
    doi = {10.1017/S0960129500001444}
}

@article{MSC:4439524, Author = {Bruce, Kim B. and Di Cosmo, Roberto and Longo, Giuseppe}, File = {Provable isomorphisms of types - Bruce, Di Cosmo, Longo (0) (0) - a - a - k.pdf}, ISSN = {1469-8072}, Issue = {02}, Journal = {Mathematical Structures in Computer Science}, Month = {6}, Pages = {231--247}, Title = {Provable isomorphisms of types}, URL = {http://journals.cambridge.org/article_S0960129500001444}, Volume = {2}, Year = {1992}, bdsk-url-1 = {http://journals.cambridge.org/article_S0960129500001444}, bdsk-url-2 = {http://dx.doi.org/10.1017/S0960129500001444}, date-added = {2013-11-12 14:30:22 +0000}, date-modified = {2013-11-12 14:30:22 +0000}, numpages = {17}, doi = {10.1017/S0960129500001444} }