| Publication | Date of Publication | Type |
|---|
| The sum-product algorithm for quantitative multiplicative linear logic | 2024-10-21 | Paper |
| Coherent differentiation | 2024-03-05 | Paper |
| A coherent differential PCF | 2024-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5101335 | 2022-08-30 | Paper |
| Dictoses | 2022-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089018 | 2022-07-18 | Paper |
| The stack calculus | 2021-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5150151 | 2021-02-09 | Paper |
| Cones as a model of intuitionistic linear logic | 2021-01-21 | Paper |
| Non-idempotent intersection types in logical form | 2020-09-23 | Paper |
| A calculus of branching processes | 2020-01-22 | Paper |
| On the denotational semantics of Linear Logic with least and greatest fixed points of formulas | 2019-06-13 | Paper |
| Probabilistic call by push value | 2019-01-18 | Paper |
| Full abstraction for probabilistic PCF | 2018-12-06 | Paper |
| An introduction to differential linear logic: proof-nets, models and antiderivatives | 2018-08-07 | Paper |
| A new correctness criterion for MLL proof nets | 2018-04-23 | Paper |
| Incremental update for graph rewriting | 2017-05-19 | Paper |
| The free exponential modality of probabilistic coherence spaces | 2017-05-19 | Paper |
| Categorical models for simply typed resource calculi | 2016-07-08 | Paper |
| Call-By-Push-Value from a Linear Logic Point of View | 2016-04-26 | Paper |
| Probabilistic coherence spaces are fully abstract for probabilistic PCF | 2014-04-10 | Paper |
| A convenient differential category | 2013-01-28 | Paper |
| Collapsing non-idempotent intersection types | 2012-11-22 | Paper |
| Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion | 2012-10-22 | Paper |
| Full abstraction for resource calculus with tests | 2012-09-18 | Paper |
| The Scott model of linear logic is the extensional collapse of its relational model | 2012-05-14 | Paper |
| A relational semantics for parallelism and non-determinism in a functional setting | 2012-04-10 | Paper |
| Probabilistic coherence spaces as a model of higher-order probabilistic computation | 2011-07-08 | Paper |
| Acyclic solos and differential interaction nets | 2010-09-21 | Paper |
| Exponentials with infinite multiplicities | 2010-09-03 | Paper |
| Resource combinatory algebras | 2010-09-03 | Paper |
| Interpreting a finitary pi-calculus in differential interaction nets | 2010-06-25 | Paper |
| Not Enough Points Is Enough | 2009-03-05 | Paper |
| A Relational Model of a Parallel and Non-deterministic λ-Calculus | 2009-02-24 | Paper |
| Interpreting a Finitary Pi-calculus in Differential Interaction Nets | 2008-09-18 | Paper |
| Uniformity and the Taylor expansion of ordinary lambda-terms | 2008-09-16 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Differential interaction nets | 2007-01-09 | Paper |
| Finiteness spaces | 2005-10-18 | Paper |
| A completeness theorem for symmetric product phase spaces | 2005-08-29 | Paper |
| The differential lambda-calculus | 2004-10-27 | Paper |
| On Köthe sequence spaces and linear logic | 2003-02-17 | Paper |
| On phase semantics and denotational semantics: The exponentials | 2003-02-03 | Paper |
| A relative PCF-definability result for strongly stable functions and some corollaries | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513578 | 2001-02-28 | Paper |
| On phase semantics and denotational semantics in multiplicative-additive linear logic | 2000-12-06 | Paper |
| Parallel and serial hypercoherences | 2000-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263861 | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218922 | 1999-03-18 | Paper |
| Projecting sequential algorithms on strongly stable functions | 1996-12-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842969 | 1995-08-16 | Paper |
| Sequentiality in an extensional framework | 1994-07-18 | Paper |
| Localisation and interaction in one dimension | 1994-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282565 | 1994-04-17 | Paper |
| A theory of sequentiality | 1993-08-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036551 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3784072 | 1987-01-01 | Paper |
