@inproceedings{Ehrhard:2006:BTK:2100226.2100246,
    Address = {Berlin, Heidelberg},
    Author = {Ehrhard, Thomas and Regnier, Laurent},
    BookTitle = {Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers},
    File = {Boehm trees, Krivine machine and the taylor expansion of lambda-terms - Ehrhard, Regnier (0) (0) - a - a - p.pdf},
    ISBN = {3-540-35466-2, 978-3-540-35466-6},
    Keywords = {simply-typed lambda calculus and Krivine machine},
    Location = {Swansea, UK},
    Pages = {186--197},
    Publisher = {Springer-Verlag},
    Series = {CiE'06},
    Title = {Boehm trees, Krivine machine and the taylor expansion of lambda-terms},
    URL = {http://dx.doi.org/10.1007/11780342\_20},
    Year = {2006},
    acmid = {2100246},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11780342\_20},
    date-added = {2013-04-16 14:50:16 +0000},
    date-modified = {2013-04-16 14:50:58 +0000},
    numpages = {12},
    doi = {10.1007/11780342_20}
}

@inproceedings{Ehrhard:2006:BTK:2100226.2100246, Address = {Berlin, Heidelberg}, Author = {Ehrhard, Thomas and Regnier, Laurent}, BookTitle = {Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers}, File = {Boehm trees, Krivine machine and the taylor expansion of lambda-terms - Ehrhard, Regnier (0) (0) - a - a - p.pdf}, ISBN = {3-540-35466-2, 978-3-540-35466-6}, Keywords = {simply-typed lambda calculus and Krivine machine}, Location = {Swansea, UK}, Pages = {186--197}, Publisher = {Springer-Verlag}, Series = {CiE'06}, Title = {Boehm trees, Krivine machine and the taylor expansion of lambda-terms}, URL = {http://dx.doi.org/10.1007/11780342_20}, Year = {2006}, acmid = {2100246}, bdsk-url-1 = {http://dx.doi.org/10.1007/11780342_20}, date-added = {2013-04-16 14:50:16 +0000}, date-modified = {2013-04-16 14:50:58 +0000}, numpages = {12}, doi = {10.1007/11780342_20} }