BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Canada
1 × Estonia
1 × Greece
3 × USA
Collaborated with:
M.Pagani T.Ehrhard C.Urban J.Chouquet H.Mendes M.Herlihy P.Melliès N.Tabareau R.Nollet A.Saurin
Talks about:
probabilist (4) linear (3) logic (3) taylor (2) measur (2) expans (2) comput (2) space (2) coher (2) exponenti (1)

Person: Christine Tasson

DBLP DBLP: Tasson:Christine

Contributed to:

POPL 20142014
STOC 20142014
LICS 20112011
ICALP (2) 20092009
LICS 20092009
TLCA 20092009
CADE 20052005
CSL 20182018
CSL 20202020
POPL 20182018

Wrote 10 papers:

POPL-2014-EhrhardTP #probability
Probabilistic coherence spaces are fully abstract for probabilistic PCF (TE, CT, MP), pp. 309–320.
STOC-2014-MendesTH #distributed
Distributed computability in Byzantine asynchronous systems (HM, CT, MH), pp. 704–713.
LICS-2011-EhrhardPT #probability
The Computational Meaning of Probabilistic Coherence Spaces (TE, MP, CT), pp. 87–96.
ICALP-v2-2009-MelliesTT #exponential #linear #logic
An Explicit Formula for the Free Exponential Modality of Linear Logic (PAM, NT, CT), pp. 247–260.
LICS-2009-PaganiT #linear #logic #problem
The Inverse Taylor Expansion Problem in Linear Logic (MP, CT), pp. 222–231.
TLCA-2009-Tasson #algebra #towards
Algebraic Totality, towards Completeness (CT), pp. 325–340.
CADE-2005-UrbanT #higher-order
Nominal Techniques in Isabelle/HOL (CU, CT), pp. 38–53.
CSL-2018-NolletST #fixpoint #linear #logic #proving
Local Validity for Circular Proofs in Linear Logic with Fixed Points (RN, AS, CT), p. 23.
CSL-2020-ChouquetT #call-by
Taylor expansion for Call-By-Push-Value (JC, CT), p. 16.
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.