| Publication | Date of Publication | Type |
|---|
A quick overview on the quantum control approach to the lambda calculus
| 2025-01-13 | Paper |
A note on confluence in typed probabilistic lambda calculi
| 2025-01-13 | Paper |
Realizability in the unitary sphere
| 2024-12-19 | Paper |
Linear lambda-calculus is linear
| 2024-05-27 | Paper |
A concrete model for a typed linear algebraic lambda calculus
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
Extensional proofs in a propositional logic modulo isomorphisms
Theoretical Computer Science | 2023-10-17 | Paper |
Classically time-controlled quantum automata
Theory and Practice of Natural Computing | 2023-10-16 | Paper |
A new connective in natural deduction, and its application to quantum computing
Theoretical Computer Science | 2023-04-27 | Paper |
Typing Quantum Superpositions and Measurement
Theory and Practice of Natural Computing | 2022-12-09 | Paper |
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
Programming Languages and Systems | 2022-12-09 | Paper |
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
Logical Methods in Computer Science | 2022-10-06 | Paper |
scientific article; zbMATH DE number 7559280 (Why is no real title available?)
| 2022-07-18 | Paper |
A new connective in natural deduction, and its application to quantum computing
Theoretical Aspects of Computing – ICTAC 2021 | 2022-03-31 | Paper |
Functional pearl: the distributive \(\lambda\)-calculus
| 2021-07-06 | Paper |
The probability of non-confluent systems
| 2021-06-22 | Paper |
scientific article; zbMATH DE number 7356679 (Why is no real title available?)
| 2021-06-08 | Paper |
A categorical construction for the computational definition of vector spaces
Applied Categorical Structures | 2021-05-04 | Paper |
A type system for the vectorial aspect of the linear-algebraic lambda-calculus
| 2021-04-27 | Paper |
Confluence via strong normalisation in an algebraic \(\lambda\)-calculus with rewriting
| 2021-04-14 | Paper |
A concrete categorical semantics of lambda-\(\mathcal{S}\)
| 2019-11-13 | Paper |
Confluence in probabilistic rewriting
| 2019-11-12 | Paper |
The vectorial \(\lambda\)-calculus
Information and Computation | 2017-05-18 | Paper |
Measurements and confluence in quantum lambda calculi with explicit qubits
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Affine computation and affine automaton
Computer Science – Theory and Applications | 2016-07-25 | Paper |
Call-by-value non-determinism in a linear logic type discipline
Logical Foundations of Computer Science | 2015-12-11 | Paper |
Call-by-value, call-by-name and the vectorial behaviour of the algebraic \(\lambda \)-calculus
Logical Methods in Computer Science | 2015-01-15 | Paper |
Linearity in the non-deterministic call-by-value setting
Logic, Language, Information and Computation | 2012-09-21 | Paper |
A System F accounting for scalars
Logical Methods in Computer Science | 2012-04-03 | Paper |
A Discussion on the Teleportation Protocol for States of N Qubits
| N/A | Paper |
The Sup Connective in IMALL: A Categorical Semantics
| N/A | Paper |
WITHDRAWN: A General Probabilistic Framework in IMALL: A Concrete Categorical Perspective
| N/A | Paper |
A linear proof language for second-order intuitionistic linear logic
| N/A | Paper |
