@article{Lang:2007:ELK:1325146.1325152,
    Address = {Hingham, MA, USA},
    Author = {Lang, Fr{\'e}d{\'e}ric},
    File = {Explaining the lazy Krivine machine using explicit substitution and addresses - Lang (0) (0) - a - a - l.pdf},
    ISSN = {1388-3690},
    Journal = {Higher Order Symbol. Comput.},
    Keywords = {simply-typed lambda calculus and Krivine machine},
    Month = {September},
    Number = {3},
    Pages = {257--270},
    Publisher = {Kluwer Academic Publishers},
    Title = {Explaining the lazy Krivine machine using explicit substitution and addresses},
    URL = {http://dx.doi.org/10.1007/s10990-007-9013-1},
    Volume = {20},
    Year = {2007},
    acmid = {1325152},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s10990-007-9013-1},
    date-added = {2013-04-16 14:56:25 +0000},
    date-modified = {2013-04-16 14:56:36 +0000},
    issue_date = {September 2007},
    numpages = {14},
    doi = {10.1007/s10990-007-9013-1}
}

@article{Lang:2007:ELK:1325146.1325152, Address = {Hingham, MA, USA}, Author = {Lang, Fr{\'e}d{\'e}ric}, File = {Explaining the lazy Krivine machine using explicit substitution and addresses - Lang (0) (0) - a - a - l.pdf}, ISSN = {1388-3690}, Journal = {Higher Order Symbol. Comput.}, Keywords = {simply-typed lambda calculus and Krivine machine}, Month = {September}, Number = {3}, Pages = {257--270}, Publisher = {Kluwer Academic Publishers}, Title = {Explaining the lazy Krivine machine using explicit substitution and addresses}, URL = {http://dx.doi.org/10.1007/s10990-007-9013-1}, Volume = {20}, Year = {2007}, acmid = {1325152}, bdsk-url-1 = {http://dx.doi.org/10.1007/s10990-007-9013-1}, date-added = {2013-04-16 14:56:25 +0000}, date-modified = {2013-04-16 14:56:36 +0000}, issue_date = {September 2007}, numpages = {14}, doi = {10.1007/s10990-007-9013-1} }