| Publication | Date of Publication | Type |
|---|
| The sum-product algorithm for quantitative multiplicative linear logic | 2024-10-21 | Paper |
Coherent differentiation
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
A coherent differential PCF
Logical Methods in Computer Science | 2024-01-16 | Paper |
scientific article; zbMATH DE number 7577566 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7577566 (Why is no real title available?) | 2022-08-30 | Paper |
Dictoses
Category Theory and Computer Science | 2022-08-16 | Paper |
| scientific article; zbMATH DE number 7559283 (Why is no real title available?) | 2022-07-18 | Paper |
| The stack calculus | 2021-06-08 | Paper |
The stack calculus
(available as arXiv preprint) | 2021-06-08 | Paper |
| scientific article; zbMATH DE number 7308469 (Why is no real title available?) | 2021-02-09 | Paper |
Cones as a model of intuitionistic linear logic
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Non-idempotent intersection types in logical form
(available as arXiv preprint) | 2020-09-23 | Paper |
A calculus of branching processes
Theoretical Computer Science | 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
(available as arXiv preprint) | 2019-01-18 | Paper |
Full abstraction for probabilistic PCF
Journal of the ACM | 2018-12-06 | Paper |
An introduction to differential linear logic: proof-nets, models and antiderivatives
Mathematical Structures in Computer Science | 2018-08-07 | Paper |
A new correctness criterion for MLL proof nets
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Incremental update for graph rewriting
Programming Languages and Systems | 2017-05-19 | Paper |
The free exponential modality of probabilistic coherence spaces
Lecture Notes in Computer Science | 2017-05-19 | Paper |
Categorical models for simply typed resource calculi
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Call-By-Push-Value from a Linear Logic Point of View
Programming Languages and Systems | 2016-04-26 | Paper |
Probabilistic coherence spaces are fully abstract for probabilistic PCF
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 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
Logical Methods in Computer Science | 2012-10-22 | Paper |
| Full abstraction for resource calculus with tests | 2012-09-18 | Paper |
Full abstraction for resource calculus with tests
(available as arXiv preprint) | 2012-09-18 | Paper |
The Scott model of linear logic is the extensional collapse of its relational model
Theoretical Computer Science | 2012-05-14 | Paper |
A relational semantics for parallelism and non-determinism in a functional setting
Annals of Pure and Applied Logic | 2012-04-10 | Paper |
Probabilistic coherence spaces as a model of higher-order probabilistic computation
Information and Computation | 2011-07-08 | Paper |
Acyclic solos and differential interaction nets
Logical Methods in Computer Science | 2010-09-21 | Paper |
Exponentials with infinite multiplicities
Computer Science Logic | 2010-09-03 | Paper |
Resource combinatory algebras
Mathematical Foundations of Computer Science 2010 | 2010-09-03 | Paper |
Interpreting a finitary pi-calculus in differential interaction nets
Information and Computation | 2010-06-25 | Paper |
Not Enough Points Is Enough
Computer Science Logic | 2009-03-05 | Paper |
A Relational Model of a Parallel and Non-deterministic λ-Calculus
Logical Foundations of Computer Science | 2009-02-24 | Paper |
Interpreting a Finitary Pi-calculus in Differential Interaction Nets
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Uniformity and the Taylor expansion of ordinary lambda-terms
Theoretical Computer Science | 2008-09-16 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Differential interaction nets
Theoretical Computer Science | 2007-01-09 | Paper |
Finiteness spaces
Mathematical Structures in Computer Science | 2005-10-18 | Paper |
A completeness theorem for symmetric product phase spaces
Journal of Symbolic Logic | 2005-08-29 | Paper |
The differential lambda-calculus
Theoretical Computer Science | 2004-10-27 | Paper |
On Köthe sequence spaces and linear logic
Mathematical Structures in Computer Science | 2003-02-17 | Paper |
On phase semantics and denotational semantics: The exponentials
Annals of Pure and Applied Logic | 2003-02-03 | Paper |
A relative PCF-definability result for strongly stable functions and some corollaries
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1531361 (Why is no real title available?) | 2001-02-28 | Paper |
On phase semantics and denotational semantics in multiplicative-additive linear logic
Annals of Pure and Applied Logic | 2000-12-06 | Paper |
Parallel and serial hypercoherences
Theoretical Computer Science | 2000-10-26 | Paper |
| scientific article; zbMATH DE number 1342272 (Why is no real title available?) | 2000-02-28 | Paper |
| scientific article; zbMATH DE number 1223612 (Why is no real title available?) | 1999-03-18 | Paper |
Projecting sequential algorithms on strongly stable functions
Annals of Pure and Applied Logic | 1996-12-11 | Paper |
| scientific article; zbMATH DE number 786488 (Why is no real title available?) | 1995-08-16 | Paper |
Sequentiality in an extensional framework
Information and Computation | 1994-07-18 | Paper |
Localisation and interaction in one dimension
Journal of Physics C: Solid State Physics | 1994-04-26 | Paper |
| scientific article; zbMATH DE number 517037 (Why is no real title available?) | 1994-04-17 | Paper |
A theory of sequentiality
Theoretical Computer Science | 1993-08-08 | Paper |
| scientific article; zbMATH DE number 176723 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 4047723 (Why is no real title available?) | 1987-01-01 | Paper |
