nLab Thomas Ehrhard

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.

Selected writings

On differential linear logic:

category: people

Last revised on July 12, 2021 at 14:21:25. See the history of this page for a list of all contributions to it.