Christine Tasson

Probabilistic coherence spaces are fully abstract for probabilistic PCF

Thomas Ehrhard, Christine Tasson, Michele Pagani · 2014 · 78 citations · Full text

Computing, Computer Science, Mathematics +16

Full Abstraction for Probabilistic PCF

Thomas Ehrhard, Michele Pagani, Christine Tasson · Journal of the ACM · 2018 · 45 citations

Computing, Computer Science, Mathematics +17

The Computational Meaning of Probabilistic Coherence Spaces

Thomas Ehrhard, Michele Pagani, Christine Tasson · 2011 · 30 citations · Full text

Language Studies, Computer Science, Mathematics +15

Distributed computability in Byzantine asynchronous systems

Hammurabi Mendes, Christine Tasson, Maurice Herlihy · 2014 · 27 citations

Computing, Computer Science, Computer Systems +11

Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus

Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix et al. · Logical Methods in Computer Science · 2014 · 24 citations · Full text

Computing, Computer Science, Algebra +12