@inproceedings{KobayashiOng:Types:LICS:2009,
    Address = {Washington, DC, USA},
    Author = {Kobayashi, Naoki and Ong, C.-H. Luke},
    BookTitle = {Proc. of LICS'09},
    File = {A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes - Kobayashi, Ong (0) (0) - a - a - r.pdf},
    ISBN = {978-0-7695-3746-7},
    Keywords = {higher-order recursion schemes and higher-order model checking and higher-order pushdown automata},
    Pages = {179--188},
    Publisher = {IEEE Computer Society},
    Title = {A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes},
    URL = {http://dl.acm.org/citation.cfm?id=1606752.1607450},
    Year = {2009},
    acmid = {1607450},
    bdsk-url-1 = {http://dl.acm.org/citation.cfm?id=1606752.1607450},
    bdsk-url-2 = {http://dx.doi.org/10.1109/LICS.2009.29},
    date-added = {2012-03-06 18:44:31 +0100},
    date-modified = {2017-04-10 16:30:57 +0000},
    numpages = {10},
    doi = {10.1109/LICS.2009.29}
}

@inproceedings{KobayashiOng:Types:LICS:2009, Address = {Washington, DC, USA}, Author = {Kobayashi, Naoki and Ong, C.-H. Luke}, BookTitle = {Proc. of LICS'09}, File = {A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes - Kobayashi, Ong (0) (0) - a - a - r.pdf}, ISBN = {978-0-7695-3746-7}, Keywords = {higher-order recursion schemes and higher-order model checking and higher-order pushdown automata}, Pages = {179--188}, Publisher = {IEEE Computer Society}, Title = {A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes}, URL = {http://dl.acm.org/citation.cfm?id=1606752.1607450}, Year = {2009}, acmid = {1607450}, bdsk-url-1 = {http://dl.acm.org/citation.cfm?id=1606752.1607450}, bdsk-url-2 = {http://dx.doi.org/10.1109/LICS.2009.29}, date-added = {2012-03-06 18:44:31 +0100}, date-modified = {2017-04-10 16:30:57 +0000}, numpages = {10}, doi = {10.1109/LICS.2009.29} }