Christine Tasson

Available identifiers

zbMath Open tasson.christineMaRDI QIDQ891920

List of research outcomes

Publication	Date of Publication	Type
Taylor expansion for Call-By-Push-Value	2023-02-07	Paper
Local validity for circular proofs in linear logic with fixed points	2022-05-28	Paper
The linear-non-linear substitution 2-monad	2022-01-10	Paper
PSPACE-completeness of a thread criterion for circular proofs in linear logic with least and greatest fixed points	2020-05-14	Paper
Probabilistic call by push value	2019-01-18	Paper
Full abstraction for probabilistic PCF	2018-12-06	Paper
From geometric semantics to asynchronous computability	2018-08-24	Paper
Geometric and combinatorial views on asynchronous computability	2018-08-13	Paper
An explicit formula for the free exponential modality of linear logic	2018-08-07	Paper
Transport of finiteness structures and applications	2018-08-07	Paper
Mackey-complete spaces and power series -- a topological model of differential linear logic	2018-03-09	Paper
The free exponential modality of probabilistic coherence spaces	2017-05-19	Paper
Strong normalizability as a finiteness structure via the Taylor expansion of \(\lambda\)-terms	2016-06-10	Paper
Iterated chromatic subdivisions are collapsible	2015-11-18	Paper
Distributed computability in Byzantine asynchronous systems	2015-06-26	Paper
Call-by-value, call-by-name and the vectorial behaviour of the algebraic \(\lambda \)-calculus	2015-01-15	Paper
Probabilistic coherence spaces are fully abstract for probabilistic PCF	2014-04-10	Paper
A convenient differential category	2013-01-28	Paper
An Explicit Formula for the Free Exponential Modality of Linear Logic	2009-07-14	Paper
Algebraic totality, towards completeness	2009-07-07	Paper
Automated Deduction – CADE-20	2006-11-01	Paper

Research outcomes over time

This page was built for person: Christine Tasson