Concepedia
Statistics
Publications
2
Citations
122
H-Index
Active since
2011
Affiliations
Université Paris Cité(Current)
Laboratory Preuves, Programmes et Systèmes
Thomas Ehrhard is an author at Université Paris Cité specializing in mathematics, computer science, and model theory.
Publications per year
2011–2011
Probabilistic coherence spaces as a model of higher-order probabilistic computation
Vincent Danos, Thomas Ehrhard · Information and Computation · 2011 · 111 citations
Computing, Computer Science, Mathematics +12
Full Abstraction for Resource Calculus with Tests
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 11 citations · Full text
Natural Sciences, Computer Science, Mathematics +12
1–2 of 2