BibSLEIGH — Thomas

Travelled to:

1 × Austria
1 × Canada
1 × Czech Republic
1 × Denmark
1 × Italy
1 × Norway
1 × Poland
1 × Spain
1 × Switzerland
1 × The Netherlands
1 × USA
2 × France
2 × United Kingdom

Collaborated with:

∅ A.Bucciarelli C.Tasson M.Pagani A.Carraro G.Manzonetto N.Barreiro P.Baillot V.Danos L.Regnier L.Colson G.Guerrieri A.Salibra P.Boutillier J.Krivine

Talks about:

probabilist (4) calculus (4) model (4) resourc (3) strong (3) call (3) sequenti (2) abstract (2) stabil (2) semant (2)

Person: Thomas Ehrhard

DBLP: Ehrhard:Thomas

Contributed to:

2014

2012

2011

2010

2007

1999

1997

1994

1991

1988

2016

2017

2016

2018

Wrote 20 papers:

LICS-CSL-2014-Ehrhard #correctness #proving: A new correctness criterion for MLL proof nets (TE), p. 10.
POPL-2014-EhrhardTP #probability: Probabilistic coherence spaces are fully abstract for probabilistic PCF (TE, CT, MP), pp. 309–320.
CSL-2012-Ehrhard: Collapsing non-idempotent intersection types (TE), pp. 259–273.
CSL-2011-BucciarelliCEM #abstraction #calculus #testing: Full Abstraction for Resource Calculus with Tests (AB, AC, TE, GM), pp. 97–111.
CSL-2011-Ehrhard #difference #λ-calculus: Resource λ-Calculus: the Differential Viewpoint (TE), p. 1.
LICS-2011-EhrhardPT #probability: The Computational Meaning of Probabilistic Coherence Spaces (TE, MP, CT), pp. 87–96.
CSL-2010-CarraroES #exponential #infinity #multi: Exponentials with Infinite Multiplicities (AC, TE, AS), pp. 170–184.
LICS-2010-Ehrhard: A Finiteness Structure on Resource Terms (TE), pp. 402–410.
CSL-2007-BucciarelliEM: Not Enough Points Is Enough (AB, TE, GM), pp. 298–312.
TLCA-1999-BarreiroE #revisited #semantics: Quantitative Semantics Revisited (NB, TE), pp. 40–53.
CSL-1997-BaillotDER #game studies: Timeless Games (PB, VD, TE, LR), pp. 56–77.
LICS-1997-BaillotDE #game studies #linear #logic: Believe it or not, AJM’s Games Model is a Model of Classical Linear Logic (PB, VD, TE, LR), pp. 68–75.
LICS-1994-ColsonE #higher-order #on the: On Strong Stability and Higher-Order Sequentiality (LC, TE), pp. 103–108.
ICALP-1991-BucciarelliE: Extensional Embedding of a Strongly Stable Model of PCF (AB, TE), pp. 35–46.
LICS-1991-BucciarelliE: Sequentiality and Strong Stability (AB, TE), pp. 138–145.
LICS-1988-Ehrhard #category theory #semantics: A Categorical Semantics of Constructions (TE), pp. 264–273.
ESOP-2016-Ehrhard #call-by #linear #logic #perspective: Call-By-Push-Value from a Linear Logic Point of View (TE), pp. 202–228.
ESOP-2017-BoutillierEK #graph grammar #incremental: Incremental Update for Graph Rewriting (PB, TE, JK), pp. 201–228.
PPDP-2016-EhrhardG #call-by #λ-calculus: The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value (TE, GG), pp. 174–187.
POPL-2018-EhrhardPT #higher-order #probability #programming: Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming (TE, MP, CT), p. 28.