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 automated reasoning, engineering, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsSemanticsLanguageProbabilityLinguisticsComputational ComplexityMathematical Foundations

Publications per year

1993–2019

32

Publications

32

The differential lambda-calculus

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

Generalized Function, Differential Lambda-calculus, Foundational Calculus +2

Finiteness spaces

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

Formal Logic, Non-monotonic Logic, Engineering +14

Differential interaction nets

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

Artificial Intelligence, Engineering, Interaction Network +5

Uniformity and the Taylor expansion of ordinary lambda-terms

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

Ordinary Lambda-terms, Engineering, Generalized Function +4

Probabilistic coherence spaces are fully abstract for probabilistic PCF

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

Random Primitive, Probabilistic Ontology, Engineering +14

1–5 of 32