Available identifiers
zbMath Open tasson.christine MaRDI QID Q891920
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv . We are working on additional sources - please check back here soon!
Publication Date of Publication Type Taylor expansion for Call-By-Push-Value 2023-02-07 Paper https://portal.mardi4nfdi.de/entity/Q5079760 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 https://portal.mardi4nfdi.de/entity/Q4611384 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 https://portal.mardi4nfdi.de/entity/Q4904081 2013-01-28 Paper An Explicit Formula for the Free Exponential Modality of Linear Logic 2009-07-14 Paper Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings 2009-07-07 Paper Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings 2009-06-30 Paper Automated Deduction – CADE-20 2006-11-01 Paper
Research outcomes over time
This page was built for person: Christine Tasson
