BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ehrhard:Thomas

Contributed to:

CSL-LICS 20142014
POPL 20142014
CSL 20122012
CSL 20112011
LICS 20112011
CSL 20102010
LICS 20102010
CSL 20072007
TLCA 19991999
CSL 19971997
LICS 19971997
LICS 19941994
ICALP 19911991
LICS 19911991
LICS 19881988
ESOP 20162016
ESOP 20172017
PPDP 20162016
POPL 20182018

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.