@article{Lago:2009:GLH:1462179.1462180,
    Address = {New York, NY, USA},
    Author = {Lago, Ugo Dal},
    File = {a8-lago (0) (0) - a - a - y.pdf},
    ISSN = {1529-3785},
    Journal = {ACM Trans. Comput. Logic},
    Keywords = {Geometry of interaction, higher-order recursion, implicit computational complexity, lambda calculus, type systems},
    Month = {March},
    Number = {2},
    Pages = {8:1--8:38},
    Publisher = {ACM},
    Title = {The Geometry of Linear Higher-order Recursion},
    URL = {http://doi.acm.org/10.1145/1462179.1462180},
    Volume = {10},
    Year = {2009},
    acmid = {1462180},
    articleno = {8},
    bdsk-url-1 = {http://doi.acm.org/10.1145/1462179.1462180},
    bdsk-url-2 = {https://doi.org/10.1145/1462179.1462180},
    date-added = {2019-05-02 13:23:51 +0200},
    date-modified = {2019-05-02 13:23:51 +0200},
    issue_date = {February 2009},
    numpages = {38},
    doi = {10.1145/1462179.1462180}
}

@article{Lago:2009:GLH:1462179.1462180, Address = {New York, NY, USA}, Author = {Lago, Ugo Dal}, File = {a8-lago (0) (0) - a - a - y.pdf}, ISSN = {1529-3785}, Journal = {ACM Trans. Comput. Logic}, Keywords = {Geometry of interaction, higher-order recursion, implicit computational complexity, lambda calculus, type systems}, Month = {March}, Number = {2}, Pages = {8:1--8:38}, Publisher = {ACM}, Title = {The Geometry of Linear Higher-order Recursion}, URL = {http://doi.acm.org/10.1145/1462179.1462180}, Volume = {10}, Year = {2009}, acmid = {1462180}, articleno = {8}, bdsk-url-1 = {http://doi.acm.org/10.1145/1462179.1462180}, bdsk-url-2 = {https://doi.org/10.1145/1462179.1462180}, date-added = {2019-05-02 13:23:51 +0200}, date-modified = {2019-05-02 13:23:51 +0200}, issue_date = {February 2009}, numpages = {38}, doi = {10.1145/1462179.1462180} }