| Publication | Date of Publication | Type |
|---|
| Spinal atomic \(\lambda\)-calculus | 2020-09-23 | Paper |
Atomic lambda calculus: a typed lambda-calculus with explicit sharing
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
Logical Methods in Computer Science | 2016-07-06 | Paper |
A proof of strong normalisation of the typed atomic lambda-calculus
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
| A proof calculus which reduces syntactic bureaucracy | 2012-04-25 | Paper |
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
Types for Proofs and Programs
Lecture Notes in Computer Science | 2006-11-13 | Paper |
| scientific article; zbMATH DE number 2080223 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1670497 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1354162 (Why is no real title available?) | 1999-10-28 | Paper |
| scientific article; zbMATH DE number 1337625 (Why is no real title available?) | 1999-09-21 | Paper |
| scientific article; zbMATH DE number 1333596 (Why is no real title available?) | 1999-09-19 | Paper |
| scientific article; zbMATH DE number 1324438 (Why is no real title available?) | 1999-08-16 | Paper |
Proofs of strong normalisation for second order classical natural deduction
Journal of Symbolic Logic | 1998-04-29 | Paper |
| scientific article; zbMATH DE number 517083 (Why is no real title available?) | 1995-01-29 | Paper |
Recursive programming with proofs
Theoretical Computer Science | 1992-09-26 | Paper |
| scientific article; zbMATH DE number 18638 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4147469 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4051592 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3992937 (Why is no real title available?) | 1986-01-01 | Paper |
A logical approach of Petri net languages
Theoretical Computer Science | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 4025421 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3922631 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3935021 (Why is no real title available?) | 1984-01-01 | Paper |
LE MODÈLE COMPAGNON DE LA THÉORIE DES ARBRES
Mathematical Logic Quarterly | 1983-01-01 | Paper |
Théories d'arbres
Journal of Symbolic Logic | 1982-01-01 | Paper |
