@article(DR99,
 author       = {Vincent Danos and Laurent Regnier},
 year         = {1999},
 title        = {Reversible, irreversible and optimal $\lambda$-machines},
 journal      = {Theoretical Computer Science},
 volume       = {227},
 number       = {1},
 pages        = {79--97},
 doi          = {10.1016/S0304-3975(99)00049-3},
)
@article(EHR03,
 author       = {Thomas Ehrhard and Laurent Regnier},
 year         = {2003},
 title        = {{The differential lambda-calculus}},
 journal      = {{Theoretical Computer Science}},
 volume       = {309},
 number       = {1-3},
 pages        = {1--41},
 doi          = {10.1016/S0304-3975(03)00392-X},
 url          = {https://hal.archives-ouvertes.fr/hal-00150572},
 note         = {41 pages},
)
@inproceedings(BKT,
 author       = {Thomas Ehrhard and Laurent Regnier},
 year         = {2006},
 title        = {{B{\"o}hm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms}},
 editor       = {A. Beckmann and U. Berger and B. L{\"o}we and J.V. Tucker},
 booktitle    = {{Second Conference on Computability in Europe, CiE 2006}},
 series       = {LNCS 3988},
 publisher    = {{Springer Berlin / Heidelberg}},
 address      = {Swansea, United Kingdom},
 pages        = {186--197},
 doi          = {10.1007/11780342\_20},
 url          = {https://hal.archives-ouvertes.fr/hal-00150273},
 note         = {12 pages},
)
@article(EHR08,
 author       = {Thomas Ehrhard and Laurent Regnier},
 year         = {2008},
 title        = {{Uniformity and the Taylor expansion of ordinary lambda-terms}},
 journal      = {{Journal of Theoretical Computer Science}},
 volume       = {403},
 number       = {2-3},
 pages        = {347--372},
 doi          = {10.1016/j.tcs.2008.06.001},
 url          = {https://hal.archives-ouvertes.fr/hal-00150275},
)
@article(VAU09,
 author       = {Lionel Vaux},
 year         = {2009},
 title        = {The algebraic lambda calculus},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {19},
 pages        = {1029--1059},
 doi          = {10.1017/S0960129509990089},
 url          = {http://journals.cambridge.org/article_S0960129509990089},
)