@article{Krivine:Machine:2007,
    Address = {Hingham, MA, USA},
    Author = {Krivine, Jean-Louis},
    File = {A call-by-name lambda-calculus machine - Krivine (0) (0) - a - a - l.pdf},
    ISSN = {1388-3690},
    Issue = {3},
    Journal = {Higher Order Symbol. Comput.},
    Keywords = {lambda calculus},
    Month = {September},
    Pages = {199--207},
    Publisher = {Kluwer Academic Publishers},
    Title = {A call-by-name lambda-calculus machine},
    URL = {http://dl.acm.org/citation.cfm?id=1325146.1325153},
    Volume = {20},
    Year = {2007},
    acmid = {1325153},
    bdsk-url-1 = {http://dl.acm.org/citation.cfm?id=1325146.1325153},
    bdsk-url-2 = {http://dx.doi.org/10.1007/s10990-007-9018-9},
    date-added = {2012-03-06 18:22:46 +0100},
    date-modified = {2014-05-20 06:01:57 +0000},
    numpages = {9},
    related-to = {SalvatiWalukiewicz},
    doi = {10.1007/s10990-007-9018-9}
}

@article{Krivine:Machine:2007, Address = {Hingham, MA, USA}, Author = {Krivine, Jean-Louis}, File = {A call-by-name lambda-calculus machine - Krivine (0) (0) - a - a - l.pdf}, ISSN = {1388-3690}, Issue = {3}, Journal = {Higher Order Symbol. Comput.}, Keywords = {lambda calculus}, Month = {September}, Pages = {199--207}, Publisher = {Kluwer Academic Publishers}, Title = {A call-by-name lambda-calculus machine}, URL = {http://dl.acm.org/citation.cfm?id=1325146.1325153}, Volume = {20}, Year = {2007}, acmid = {1325153}, bdsk-url-1 = {http://dl.acm.org/citation.cfm?id=1325146.1325153}, bdsk-url-2 = {http://dx.doi.org/10.1007/s10990-007-9018-9}, date-added = {2012-03-06 18:22:46 +0100}, date-modified = {2014-05-20 06:01:57 +0000}, numpages = {9}, related-to = {SalvatiWalukiewicz}, doi = {10.1007/s10990-007-9018-9} }