@article{Kobele:Salvati:IC:2015,
    Address = {Duluth, MN, USA},
    Author = {Kobele, Gregory M. and Salvati, Sylvain},
    File = {The IO and OI Hierarchies Revisited - Kobele, Salvati (0) (0) - a - a - k.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {Formal language theory, Higher-order grammars, IO, Membership problem, Montague semantics, OI, Simply typed lambda-calculus},
    Month = {August},
    Number = {C},
    Pages = {205--221},
    Publisher = {Academic Press, Inc.},
    Title = {The IO and OI Hierarchies Revisited},
    URL = {http://dx.doi.org/10.1016/j.ic.2014.12.015},
    Volume = {243},
    Year = {2015},
    acmid = {2795928},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2014.12.015},
    date-added = {2016-03-14 16:02:56 +0000},
    date-modified = {2020-02-03 11:51:22 +0100},
    issue_date = {August 2015},
    numpages = {17},
    doi = {10.1016/j.ic.2014.12.015}
}

@article{Kobele:Salvati:IC:2015, Address = {Duluth, MN, USA}, Author = {Kobele, Gregory M. and Salvati, Sylvain}, File = {The IO and OI Hierarchies Revisited - Kobele, Salvati (0) (0) - a - a - k.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {Formal language theory, Higher-order grammars, IO, Membership problem, Montague semantics, OI, Simply typed lambda-calculus}, Month = {August}, Number = {C}, Pages = {205--221}, Publisher = {Academic Press, Inc.}, Title = {The IO and OI Hierarchies Revisited}, URL = {http://dx.doi.org/10.1016/j.ic.2014.12.015}, Volume = {243}, Year = {2015}, acmid = {2795928}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2014.12.015}, date-added = {2016-03-14 16:02:56 +0000}, date-modified = {2020-02-03 11:51:22 +0100}, issue_date = {August 2015}, numpages = {17}, doi = {10.1016/j.ic.2014.12.015} }