@article{Danos199640,
    Author = {Danos, Vincent and Regnier, Laurent},
    File = {Reversible, Irreversible and Optimal Î»-machines Extended abstract - Danos, Regnier (2) (0) - a - a - h.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Keywords = {reversible computations},
    Note = {\&lt;ce:title>Linear Logic 96 Tokyo Meeting\&lt;/ce:title>},
    Number = {0},
    Pages = {40 - 60},
    Title = {Reversible, Irreversible and Optimal {\^I}»-machines: Extended abstract},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066105804025},
    Volume = {3},
    Year = {1996},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066105804025},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(05)80402-5},
    date-added = {2013-06-26 08:44:34 +0000},
    date-modified = {2013-06-26 08:44:34 +0000},
    doi = {10.1016/S1571-0661(05)80402-5}
}

@article{Danos199640, Author = {Danos, Vincent and Regnier, Laurent}, File = {Reversible, Irreversible and Optimal Î»-machines Extended abstract - Danos, Regnier (2) (0) - a - a - h.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Keywords = {reversible computations}, Note = {\<ce:title>Linear Logic 96 Tokyo Meeting\</ce:title>}, Number = {0}, Pages = {40 - 60}, Title = {Reversible, Irreversible and Optimal {\^I}»-machines: Extended abstract}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066105804025}, Volume = {3}, Year = {1996}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066105804025}, bdsk-url-2 = {http://dx.doi.org/10.1016/S1571-0661(05)80402-5}, date-added = {2013-06-26 08:44:34 +0000}, date-modified = {2013-06-26 08:44:34 +0000}, doi = {10.1016/S1571-0661(05)80402-5} }