| Publication | Date of Publication | Type |
|---|
Type isomorphisms for multiplicative-additive linear logic
Logical Methods in Computer Science | 2026-02-13 | Paper |
| Super exponentials in linear logic | 2025-01-06 | Paper |
| Type isomorphisms for multiplicative-additive linear logic | 2024-10-21 | Paper |
| scientific article; zbMATH DE number 7526056 (Why is no real title available?) | 2022-05-12 | Paper |
scientific article; zbMATH DE number 7526056 (Why is no real title available?)
(available as arXiv preprint) | 2022-05-12 | Paper |
Around classical and intuitionistic linear logics
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Polynomial time in untyped elementary linear logic
Theoretical Computer Science | 2020-04-21 | Paper |
| Resource-tracking concurrent games | 2020-01-28 | Paper |
| Focusing in Orthologic | 2017-10-17 | Paper |
Focusing in orthologic
(available as arXiv preprint) | 2017-10-12 | Paper |
Intersection types with subtyping by means of cut elimination
Fundamenta Informaticae | 2013-01-24 | Paper |
Intuitionistic dual-intuitionistic nets
Journal Of Logic And Computation | 2011-10-21 | Paper |
Game semantics for first-order logic
Logical Methods in Computer Science | 2010-12-20 | Paper |
Acyclic solos and differential interaction nets
Logical Methods in Computer Science | 2010-09-21 | Paper |
Interpreting a finitary pi-calculus in differential interaction nets
Information and Computation | 2010-06-25 | Paper |
An exact correspondence between a typed pi-calculus and polarised proof-nets
Theoretical Computer Science | 2010-05-27 | Paper |
| On the categorical semantics of elementary linear logic | 2009-11-21 | Paper |
| On the categorical semantics of elementary linear logic | 2009-11-21 | Paper |
| Parametric mixed sequent calculus | 2009-05-11 | Paper |
Quantitative Game Semantics for Linear Logic
Computer Science Logic | 2008-11-20 | Paper |
Interpreting a Finitary Pi-calculus in Differential Interaction Nets
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
The Anatomy of Innocence Revisited
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | 2008-04-17 | Paper |
Classical isomorphisms of types
Mathematical Structures in Computer Science | 2006-03-10 | Paper |
Syntax vs. semantics: A polarized approach
Theoretical Computer Science | 2005-10-26 | Paper |
Polarized and focalized linear and classical proofs
Annals of Pure and Applied Logic | 2005-06-23 | Paper |
| scientific article; zbMATH DE number 2134916 (Why is no real title available?) | 2005-02-18 | Paper |
Polarized games
Annals of Pure and Applied Logic | 2004-11-18 | Paper |
Polarized proof-nets and \(\lambda \mu\)-calculus
Theoretical Computer Science | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1722659 (Why is no real title available?) | 2002-03-21 | Paper |
| scientific article; zbMATH DE number 1693445 (Why is no real title available?) | 2002-01-22 | Paper |
| scientific article; zbMATH DE number 1342282 (Why is no real title available?) | 1999-11-21 | Paper |
