Christine Tasson

According to our database, Christine Tasson authored at least 30 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Density-Based Semantics for Reactive Probabilistic Programming.

Guillaume Baudart, Louis Mandel, Christine Tasson

CoRR, 2023

2020

The linear-non-linear substitution 2-monad.

Martin Hyland, Christine Tasson

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Taylor expansion for Call-By-Push-Value.

Jules Chouquet, Christine Tasson

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Probabilistic call by push value.

Thomas Ehrhard, Christine Tasson

Log. Methods Comput. Sci., 2019

PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points.

Rémi Nollet, Alexis Saurin, Christine Tasson

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming.

Thomas Ehrhard, Michele Pagani, Christine Tasson

Proc. ACM Program. Lang., 2018

Transport of finiteness structures and applications.

Christine Tasson, Lionel Vaux

Math. Struct. Comput. Sci., 2018

An explicit formula for the free exponential modality of linear logic.

Paul-André Melliès, Nicolas Tabareau, Christine Tasson

Math. Struct. Comput. Sci., 2018

Mackey-complete spaces and power series - a topological model of differential linear logic.

Marie Kerjean, Christine Tasson

Math. Struct. Comput. Sci., 2018

Full Abstraction for Probabilistic PCF.

Thomas Ehrhard, Michele Pagani, Christine Tasson

J. ACM, 2018

Geometric and combinatorial views on asynchronous computability.

Éric Goubault, Samuel Mimram, Christine Tasson

Distributed Comput., 2018

Local Validity for Circular Proofs in Linear Logic with Fixed Points.

Rémi Nollet, Alexis Saurin, Christine Tasson

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

Models of Distributed, Differential and Probabilistic Computation. (Sémantiques des calculs distribués, différentiels et probabilistes).

Christine Tasson

, 2018

2017

Measurable Cones and Stable, Measurable Functions.

Thomas Ehrhard, Michele Pagani, Christine Tasson

CoRR, 2017

Quantitative Semantics for Probabilistic Programming (Invited Talk).

Christine Tasson

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

The Free Exponential Modality of Probabilistic Coherence Spaces.

Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson

Proceedings of the Foundations of Software Science and Computation Structures, 2017

2016

Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms.

Michele Pagani, Christine Tasson, Lionel Vaux

CoRR, 2016

Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms.

Michele Pagani, Christine Tasson, Lionel Vaux

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2015

Iterated Chromatic Subdivisions are Collapsible.

Eric Goubault, Samuel Mimram, Christine Tasson

Appl. Categorical Struct., 2015

From Geometric Semantics to Asynchronous Computability.

Eric Goubault, Samuel Mimram, Christine Tasson

Proceedings of the Distributed Computing - 29th International Symposium, 2015

2014

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

Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron

Log. Methods Comput. Sci., 2014

Distributed computability in Byzantine asynchronous systems.

Hammurabi Mendes, Christine Tasson, Maurice Herlihy

Proceedings of the Symposium on Theory of Computing, 2014

Probabilistic coherence spaces are fully abstract for probabilistic PCF.

Thomas Ehrhard, Christine Tasson, Michele Pagani

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

The Topology of Asynchronous Byzantine Colorless Tasks

Hammurabi Mendes, Christine Tasson, Maurice Herlihy

CoRR, 2013

2011

The Computational Meaning of Probabilistic Coherence Spaces.

Thomas Ehrhard, Michele Pagani, Christine Tasson

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

2010

A convenient differential category

Richard Blute, Thomas Ehrhard, Christine Tasson

CoRR, 2010

2009

SéMantiques et Syntaxes vectorielles de la logique LinéAIRE. (Vectorial Semantics and Syntax of Linear Logic).

Christine Tasson

PhD thesis, 2009

Algebraic Totality, towards Completeness.

Christine Tasson

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

The Inverse Taylor Expansion Problem in Linear Logic.

Michele Pagani, Christine Tasson

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2005

Nominal Techniques in Isabelle/HOL.

Christian Urban, Christine Tasson

Proceedings of the Automated Deduction, 2005