@article{Ehrhard_2003,
    doi = {10.1016/s0304-3975(03)00392-x},
    url = {https://doi.org/10.1016%2Fs0304-3975%2803%2900392-x},
    year = {2003},
    month = {dec},
    publisher = {Elsevier {BV}},
    volume = {309},
    number = {1-3},
    pages = {1--41},
    author = {Thomas Ehrhard and Laurent Regnier},
    title = {The differential lambda-calculus},
    journal = {Theoretical Computer Science}
}

@article{Ehrhard_2003, doi = {10.1016/s0304-3975(03)00392-x}, url = {https://doi.org/10.1016%2Fs0304-3975%2803%2900392-x}, year = {2003}, month = {dec}, publisher = {Elsevier {BV}}, volume = {309}, number = {1-3}, pages = {1--41}, author = {Thomas Ehrhard and Laurent Regnier}, title = {The differential lambda-calculus}, journal = {Theoretical Computer Science} }