@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}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A