Christine Tasson

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 18

Top Venues

CoRR

Math. Struct. Comput. Sci.

FoSSaCS

CSL

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Guillaume Baudart, Louis Mandel, Christine Tasson
Density-Based Semantics for Reactive Probabilistic Programming. CoRR (2023)
Jules Chouquet, Christine Tasson
Taylor expansion for Call-By-Push-Value. CSL (2020)
Martin Hyland, Christine Tasson
The linear-non-linear substitution 2-monad. ACT (2020)
Rémi Nollet, Alexis Saurin, Christine Tasson
PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points. TABLEAUX (2019)
Thomas Ehrhard, Christine Tasson
Probabilistic call by push value. Log. Methods Comput. Sci. 15 (1) (2019)
Rémi Nollet, Alexis Saurin, Christine Tasson
Local Validity for Circular Proofs in Linear Logic with Fixed Points. CSL (2018)
Éric Goubault, Samuel Mimram, Christine Tasson
Geometric and combinatorial views on asynchronous computability. Distributed Comput. 31 (4) (2018)
Thomas Ehrhard, Michele Pagani, Christine Tasson
Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming. Proc. ACM Program. Lang. 2 (POPL) (2018)
Paul-André Melliès, Nicolas Tabareau, Christine Tasson
An explicit formula for the free exponential modality of linear logic. Math. Struct. Comput. Sci. 28 (7) (2018)
Marie Kerjean, Christine Tasson
Mackey-complete spaces and power series - a topological model of differential linear logic. Math. Struct. Comput. Sci. 28 (4) (2018)
Thomas Ehrhard, Michele Pagani, Christine Tasson
Full Abstraction for Probabilistic PCF. J. ACM 65 (4) (2018)
Christine Tasson, Lionel Vaux
Transport of finiteness structures and applications. Math. Struct. Comput. Sci. 28 (7) (2018)
Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson
The Free Exponential Modality of Probabilistic Coherence Spaces. FoSSaCS (2017)
Christine Tasson
Quantitative Semantics for Probabilistic Programming (Invited Talk). FSCD (2017)
Thomas Ehrhard, Michele Pagani, Christine Tasson
Measurable Cones and Stable, Measurable Functions. CoRR (2017)
Thomas Ehrhard, Christine Tasson
Probabilistic call by push value. CoRR (2016)
Michele Pagani, Christine Tasson, Lionel Vaux
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms. CoRR (2016)
Michele Pagani, Christine Tasson, Lionel Vaux
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms. FoSSaCS (2016)
Eric Goubault, Samuel Mimram, Christine Tasson
Iterated Chromatic Subdivisions are Collapsible. Appl. Categorical Struct. 23 (6) (2015)
Eric Goubault, Samuel Mimram, Christine Tasson
From Geometric Semantics to Asynchronous Computability. DISC (2015)
Marie Kerjean, Christine Tasson
Mackey-complete spaces and power series - A topological model of Differential Linear Logic. CoRR (2015)
Thomas Ehrhard, Michele Pagani, Christine Tasson
Full abstraction for probabilistic PCF. CoRR (2015)
Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus Log. Methods Comput. Sci. 10 (4) (2014)
Hammurabi Mendes, Christine Tasson, Maurice Herlihy
Distributed computability in Byzantine asynchronous systems. STOC (2014)
Thomas Ehrhard, Christine Tasson, Michele Pagani
Probabilistic coherence spaces are fully abstract for probabilistic PCF. POPL (2014)
Hammurabi Mendes, Christine Tasson, Maurice Herlihy
The Topology of Asynchronous Byzantine Colorless Tasks CoRR (2013)
Thomas Ehrhard, Michele Pagani, Christine Tasson
The Computational Meaning of Probabilistic Coherence Spaces. LICS (2011)
Christine Tasson, Lionel Vaux
Transport of finiteness structures and applications CoRR (2010)
Richard Blute, Thomas Ehrhard, Christine Tasson
A convenient differential category CoRR (2010)
Christine Tasson
Algebraic Totality, towards Completeness. TLCA (2009)
Paul-André Melliès, Nicolas Tabareau, Christine Tasson
An Explicit Formula for the Free Exponential Modality of Linear Logic. ICALP (2) (2009)
Christine Tasson
Algebraic totality, towards completeness CoRR (2009)
Michele Pagani, Christine Tasson
The Inverse Taylor Expansion Problem in Linear Logic. LICS (2009)
Christian Urban, Christine Tasson
Nominal Techniques in Isabelle/HOL. CADE (2005)

Christine Tasson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christine Tasson