@article{Hyland2000285,
    Author = {Hyland, J.M.E. and Ong, C.-H.L.},
    File = {On Full Abstraction for PCF I, II, and III - Hyland, Ong (0) (0) - a - a - d.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {game semantics and full abstraction},
    Number = {2},
    Pages = {285 - 408},
    Title = {On Full Abstraction for PCF: I, II, and III},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540100929171},
    Volume = {163},
    Year = {2000},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540100929171},
    bdsk-url-2 = {http://dx.doi.org/10.1006/inco.2000.2917},
    date-added = {2013-01-29 16:59:19 +0000},
    date-modified = {2013-02-13 20:47:40 +0000},
    doi = {10.1006/inco.2000.2917}
}

@article{Hyland2000285, Author = {Hyland, J.M.E. and Ong, C.-H.L.}, File = {On Full Abstraction for PCF I, II, and III - Hyland, Ong (0) (0) - a - a - d.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {game semantics and full abstraction}, Number = {2}, Pages = {285 - 408}, Title = {On Full Abstraction for PCF: I, II, and III}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540100929171}, Volume = {163}, Year = {2000}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540100929171}, bdsk-url-2 = {http://dx.doi.org/10.1006/inco.2000.2917}, date-added = {2013-01-29 16:59:19 +0000}, date-modified = {2013-02-13 20:47:40 +0000}, doi = {10.1006/inco.2000.2917} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge