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: Tasson:Christine
Contributed to:
2014
2014
2011
20092009
2009
2005
201820202018Wrote 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.