# 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

category: people

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