@inproceedings{BroadbentCarayolHagueSerre:C-SHORe:2013,
    Address = {New York, NY, USA},
    Author = {Broadbent, Christopher and Carayol, Arnaud and Hague, Matthew and Serre, Olivier},
    BookTitle = {Proc. of ICFP '13},
    File = {C-SHORe A Collapsible Approach to Higher-order Verification - Broadbent, Carayol, Hague, Serre (0) (0) - a - a - n.pdf},
    ISBN = {978-1-4503-2326-0},
    Keywords = {higher-order recursive schemes},
    Location = {Boston, Massachusetts, USA},
    Pages = {13--24},
    Publisher = {ACM},
    Title = {{C-SHORe}: A Collapsible Approach to Higher-order Verification},
    URL = {http://doi.acm.org/10.1145/2500365.2500589},
    Year = {2013},
    acmid = {2500589},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2500365.2500589},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2500365.2500589},
    date-added = {2013-12-22 17:25:12 +0000},
    date-modified = {2014-05-28 09:39:29 +0000},
    file-2 = {C-SHORe A Collapsible Approach to Higher-order Verification - Broadbent, Carayol, Hague, Serre (1) (0) - a - a - n.pdf},
    numpages = {12},
    doi = {10.1145/2500365.2500589}
}

@inproceedings{BroadbentCarayolHagueSerre:C-SHORe:2013, Address = {New York, NY, USA}, Author = {Broadbent, Christopher and Carayol, Arnaud and Hague, Matthew and Serre, Olivier}, BookTitle = {Proc. of ICFP '13}, File = {C-SHORe A Collapsible Approach to Higher-order Verification - Broadbent, Carayol, Hague, Serre (0) (0) - a - a - n.pdf}, ISBN = {978-1-4503-2326-0}, Keywords = {higher-order recursive schemes}, Location = {Boston, Massachusetts, USA}, Pages = {13--24}, Publisher = {ACM}, Title = {{C-SHORe}: A Collapsible Approach to Higher-order Verification}, URL = {http://doi.acm.org/10.1145/2500365.2500589}, Year = {2013}, acmid = {2500589}, bdsk-url-1 = {http://doi.acm.org/10.1145/2500365.2500589}, bdsk-url-2 = {http://dx.doi.org/10.1145/2500365.2500589}, date-added = {2013-12-22 17:25:12 +0000}, date-modified = {2014-05-28 09:39:29 +0000}, file-2 = {C-SHORe A Collapsible Approach to Higher-order Verification - Broadbent, Carayol, Hague, Serre (1) (0) - a - a - n.pdf}, numpages = {12}, doi = {10.1145/2500365.2500589} }