Concepedia

Thomas Ehrhard

TE

Statistics

Publications

32

Citations

1.6K

H-Index

23

Active since

1993

Affiliations

Université Paris Cité(Current)

Centre National de la Recherche Scientifique

Délégation Paris 7

Laboratory Preuves, Programmes et Systèmes

Institut de Mathématiques de Marseille

Thomas Ehrhard is an author at Université Paris Cité specializing in mathematics, computer science, and model theory.

ORCID

Publications per year

1993–2019

32

Publications

32

The differential lambda-calculus

Thomas Ehrhard, Laurent Régnier · Theoretical Computer Science · 2003 · 242 citations

Finiteness spaces

Thomas Ehrhard · Mathematical Structures in Computer Science · 2005 · 136 citations

, , +14

Differential interaction nets

Thomas Ehrhard, Laurent Régnier · Theoretical Computer Science · 2006 · 111 citations

Uniformity and the Taylor expansion of ordinary lambda-terms

Thomas Ehrhard, Laurent Régnier · Theoretical Computer Science · 2008 · 81 citations · Full text

, , +2

Probabilistic coherence spaces are fully abstract for probabilistic PCF

Thomas Ehrhard, Christine Tasson, Michele Pagani · 2014 · 78 citations · Full text

, , +16

1–5 of 32