Thomas Ehrhard is a theoretical computer scientist and logician based in IRIF. He is mainly interested in logic, and especially Proof Theory and its connections with Computer Science through the Curry-Howard Correspondence.
Thomas Ehrhard, Laurent Regnier: The differential lambda-calculus, Theor. Comput. Sci. 309 1 (2003) 1–41 (doi:10.1016/S0304-3975(03)00392-X)
Thomas Ehrhard, Laurent Regnier: Differential interaction nets, Theor. Comput. Sci. 364 2 (2006) 166–195 (doi:10.1016/j.tcs.2006.08.003)
Thomas Ehrhard, An introduction to Differential Linear Logic: proof-nets, models and antiderivatives, Mathematical Structure in Computer Science 28 7 (2018) 995-1060 (arXiv:1606.01642, doi:10.1017/S0960129516000372)
Last revised on July 12, 2021 at 14:21:25. See the history of this page for a list of all contributions to it.