@article{Curien:2000:DC:357766.351262,
    Address = {New York, NY, USA},
    Author = {Curien, Pierre-Louis and Herbelin, Hugo},
    File = {The duality of computation - Curien, Herbelin (1) (0) - a - a - z.pdf},
    ISSN = {0362-1340},
    Journal = {SIGPLAN Not.},
    Month = {September},
    Number = {9},
    Pages = {233--243},
    Publisher = {ACM},
    Title = {The duality of computation},
    URL = {http://doi.acm.org/10.1145/357766.351262},
    Volume = {35},
    Year = {2000},
    acmid = {351262},
    bdsk-url-1 = {http://doi.acm.org/10.1145/357766.351262},
    bdsk-url-2 = {http://dx.doi.org/10.1145/357766.351262},
    date-added = {2013-06-26 11:13:02 +0000},
    date-modified = {2013-06-26 11:13:02 +0000},
    file-2 = {The duality of computation - Curien, Herbelin (0) (0) - a - a - z.pdf},
    issue_date = {Sept. 2000},
    numpages = {11},
    doi = {10.1145/357766.351262}
}

@article{Curien:2000:DC:357766.351262, Address = {New York, NY, USA}, Author = {Curien, Pierre-Louis and Herbelin, Hugo}, File = {The duality of computation - Curien, Herbelin (1) (0) - a - a - z.pdf}, ISSN = {0362-1340}, Journal = {SIGPLAN Not.}, Month = {September}, Number = {9}, Pages = {233--243}, Publisher = {ACM}, Title = {The duality of computation}, URL = {http://doi.acm.org/10.1145/357766.351262}, Volume = {35}, Year = {2000}, acmid = {351262}, bdsk-url-1 = {http://doi.acm.org/10.1145/357766.351262}, bdsk-url-2 = {http://dx.doi.org/10.1145/357766.351262}, date-added = {2013-06-26 11:13:02 +0000}, date-modified = {2013-06-26 11:13:02 +0000}, file-2 = {The duality of computation - Curien, Herbelin (0) (0) - a - a - z.pdf}, issue_date = {Sept. 2000}, numpages = {11}, doi = {10.1145/357766.351262} }