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 |
| 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 |
| Transport of finiteness structures and applications | 2018-08-07 | Paper |
| An explicit formula for the free exponential modality of linear logic | 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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
This page was built for person: Christine Tasson
