| Publication | Date of Publication | Type |
|---|
A natural deduction calculus for \textbf{S4.2}
Notre Dame Journal of Formal Logic | 2024-08-19 | Paper |
Cut Elimination for Extended Sequent Calculi
Bulletin of the Section of Logic | 2024-02-29 | Paper |
Natural deduction calculi for classical and intuitionistic S5
Journal of Applied Non-Classical Logics | 2023-08-16 | Paper |
From 2-sequents and linear nested sequents to natural deduction for normal modal logics
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
From 2-sequents and linear nested sequents to natural deduction for normal modal logics
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
| Quantum programming made easy | 2021-12-20 | Paper |
Quantum programming made easy
(available as arXiv preprint) | 2021-12-20 | Paper |
| Wave-style token machines and quantum lambda calculi | 2021-12-06 | Paper |
Wave-style token machines and quantum lambda calculi
(available as arXiv preprint) | 2021-12-06 | Paper |
| Interactive realizability and the elimination of Skolem functions in Peano arithmetic | 2021-04-27 | Paper |
Interactive realizability and the elimination of Skolem functions in Peano arithmetic
(available as arXiv preprint) | 2021-04-27 | Paper |
A logic for quantum register measurements
Axioms | 2020-03-20 | Paper |
QPCF: higher-order languages and quantum circuits
Journal of Automated Reasoning | 2019-10-25 | Paper |
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
Information and Computation | 2017-09-04 | Paper |
\textsc{qPCF}: a language for quantum circuit computations
Lecture Notes in Computer Science | 2017-05-19 | Paper |
On quantum lambda calculi: a foundational perspective
Mathematical Structures in Computer Science | 2017-04-03 | Paper |
| scientific article; zbMATH DE number 6694177 (Why is no real title available?) | 2017-03-13 | Paper |
Confluence results for a quantum lambda calculus with measurements
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem
Theoretical Computer Science | 2016-04-01 | Paper |
Quantum State Transformations and Branching Distributed Temporal Logic
Logic, Language, Information, and Computation | 2015-01-13 | Paper |
Non-determinism, non-termination and the strong normalization of System T
Lecture Notes in Computer Science | 2013-06-28 | Paper |
Probabilistic operational semantics for the lambda calculus
RAIRO. Theoretical Informatics and Applications | 2012-08-27 | Paper |
Probabilistic operational semantics for the lambda calculus
RAIRO. Theoretical Informatics and Applications | 2012-08-27 | Paper |
| Modal deduction systems for quantum state transformations | 2012-04-26 | Paper |
Quantum implicit computational complexity
Theoretical Computer Science | 2009-12-15 | Paper |
On a measurement-free quantum lambda calculus with classical control
Mathematical Structures in Computer Science | 2009-05-06 | Paper |
