@incollection{Reynolds:1984,
    Author = {Reynolds, JohnC.},
    BookTitle = {Semantics of Data Types},
    Editor = {Kahn, Gilles and MacQueen, DavidB. and Plotkin, Gordon},
    File = {Polymorphism is not set-theoretic - Reynolds (1) (0) - a - a - m.pdf},
    ISBN = {978-3-540-13346-9},
    Pages = {145-156},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Polymorphism is not set-theoretic},
    URL = {http://dx.doi.org/10.1007/3-540-13346-1\_7},
    Volume = {173},
    Year = {1984},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-13346-1\_7},
    date-added = {2014-02-04 17:53:48 +0000},
    date-modified = {2014-02-04 17:53:48 +0000},
    doi = {10.1007/3-540-13346-1_7}
}

@incollection{Reynolds:1984, Author = {Reynolds, JohnC.}, BookTitle = {Semantics of Data Types}, Editor = {Kahn, Gilles and MacQueen, DavidB. and Plotkin, Gordon}, File = {Polymorphism is not set-theoretic - Reynolds (1) (0) - a - a - m.pdf}, ISBN = {978-3-540-13346-9}, Pages = {145-156}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Polymorphism is not set-theoretic}, URL = {http://dx.doi.org/10.1007/3-540-13346-1_7}, Volume = {173}, Year = {1984}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-13346-1_7}, date-added = {2014-02-04 17:53:48 +0000}, date-modified = {2014-02-04 17:53:48 +0000}, doi = {10.1007/3-540-13346-1_7} }