| Publication | Date of Publication | Type |
|---|
| Factorize factorization | 2026-03-23 | Paper |
| Solvability in a probabilistic setting (invited talk) | 2026-02-24 | Paper |
| Lambda calculus and probabilistic computation | 2024-12-19 | Paper |
| The sum-product algorithm for quantitative multiplicative linear logic | 2024-10-21 | Paper |
| Asymptotic rewriting (invited talk) | 2024-09-25 | Paper |
| Strategies for asymptotic normalization | 2024-05-27 | Paper |
| Factorization and normalization, essentially | 2024-04-19 | Paper |
On reduction and normalization in the computational core
Mathematical Structures in Computer Science | 2023-02-28 | Paper |
scientific article; zbMATH DE number 7566061 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-02 | Paper |
| scientific article; zbMATH DE number 7566061 (Why is no real title available?) | 2022-08-02 | Paper |
| scientific article; zbMATH DE number 7559285 (Why is no real title available?) | 2022-07-18 | Paper |
Factorization in call-by-name and call-by-value calculi via linear logic
(available as arXiv preprint) | 2021-10-18 | Paper |
| On multiplicative linear logic, modality and quantum circuits | 2021-04-27 | Paper |
On multiplicative linear logic, modality and quantum circuits
(available as arXiv preprint) | 2021-04-27 | Paper |
The geometry of synchronization
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 |
The geometry of synchronization
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 |
Parallelism and synchronization in an infinitary context
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
The geometry of parallelism: classical, probabilistic, and quantum effects
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
Measurements in proof nets as higher-order quantum circuits
Programming Languages and Systems | 2014-04-16 | Paper |
A graph abstract machine describing event structure composition
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
An approach to innocent strategies as graphs
Information and Computation | 2012-05-24 | Paper |
Ludics with repetitions (Exponentials, Interactive types and Completeness)
Logical Methods in Computer Science | 2011-05-26 | Paper |
Partial Orders, Event Structures and Linear Strategies
Lecture Notes in Computer Science | 2009-07-07 | Paper |
Jump from Parallel to Sequential Proofs: Multiplicatives
Computer Science Logic | 2009-03-12 | Paper |
Ludics is a Model for the Finitary Linear Pi-Calculus
Lecture Notes in Computer Science | 2009-03-10 | Paper |
Proof nets sequentialisation in multiplicative linear logic
Annals of Pure and Applied Logic | 2008-11-12 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Interactive observability in Ludics: the geometry of tests
Theoretical Computer Science | 2006-03-20 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
| scientific article; zbMATH DE number 2134915 (Why is no real title available?) | 2005-02-18 | Paper |
| scientific article; zbMATH DE number 1948178 (Why is no real title available?) | 2003-07-10 | Paper |
| scientific article; zbMATH DE number 1948179 (Why is no real title available?) | 2003-07-10 | Paper |
Basic logic: reflection, symmetry, visibility
Journal of Symbolic Logic | 2001-10-03 | Paper |
| scientific article; zbMATH DE number 1223622 (Why is no real title available?) | 1999-04-19 | Paper |
From basic logic to quantum logics with cut-elimination
International Journal of Theoretical Physics | 1999-01-19 | Paper |
