@inproceedings{Bruce:1985:PID:22145.22175,
    Address = {New York, NY, USA},
    Author = {Bruce, K B and Longo, G},
    BookTitle = {Proceedings of the seventeenth annual ACM symposium on Theory of computing},
    ISBN = {0-89791-151-2},
    Keywords = {simply-typed lambda calculus},
    Location = {Providence, Rhode Island, USA},
    Pages = {263--272},
    Publisher = {ACM},
    Series = {STOC '85},
    Title = {Provable isomorphisms and domain equations in models of typed languages},
    URL = {http://doi.acm.org/10.1145/22145.22175},
    Year = {1985},
    acmid = {22175},
    bdsk-url-1 = {http://doi.acm.org/10.1145/22145.22175},
    bdsk-url-2 = {http://dx.doi.org/10.1145/22145.22175},
    date-added = {2013-07-15 09:44:31 +0000},
    date-modified = {2013-07-15 09:44:35 +0000},
    numpages = {10},
    doi = {10.1145/22145.22175}
}

@inproceedings{Bruce:1985:PID:22145.22175, Address = {New York, NY, USA}, Author = {Bruce, K B and Longo, G}, BookTitle = {Proceedings of the seventeenth annual ACM symposium on Theory of computing}, ISBN = {0-89791-151-2}, Keywords = {simply-typed lambda calculus}, Location = {Providence, Rhode Island, USA}, Pages = {263--272}, Publisher = {ACM}, Series = {STOC '85}, Title = {Provable isomorphisms and domain equations in models of typed languages}, URL = {http://doi.acm.org/10.1145/22145.22175}, Year = {1985}, acmid = {22175}, bdsk-url-1 = {http://doi.acm.org/10.1145/22145.22175}, bdsk-url-2 = {http://dx.doi.org/10.1145/22145.22175}, date-added = {2013-07-15 09:44:31 +0000}, date-modified = {2013-07-15 09:44:35 +0000}, numpages = {10}, doi = {10.1145/22145.22175} }