| Publication | Date of Publication | Type |
|---|
Realizability in the unitary sphere
| 2024-12-19 | Paper |
Categorical semantics of reversible pattern-matching
| 2024-12-17 | Paper |
A curry-Howard correspondence for linear, reversible computation
| 2024-09-25 | Paper |
LO\(_\text{v}\)-calculus: a graphical language for linear optical quantum circuits
| 2024-08-06 | Paper |
scientific article; zbMATH DE number 7799629 (Why is no real title available?)
| 2024-02-05 | Paper |
scientific article; zbMATH DE number 7724203 (Why is no real title available?)
| 2023-08-08 | Paper |
Strong simulation of linear optical processes
Computer Physics Communications | 2023-08-07 | Paper |
Quantum circuits synthesis using Householder transformations
Computer Physics Communications | 2023-04-25 | Paper |
Hybrid quantum-classical circuit simplification with the ZX-calculus
| 2023-03-29 | Paper |
On new PageRank computation methods using quantum computing
Quantum Information Processing | 2023-03-24 | Paper |
Semantics of quantum programming languages: Classical control, quantum control
Journal of Logical and Algebraic Methods in Programming | 2022-08-26 | Paper |
An automated deductive verification framework for circuit-building quantum programs
| 2021-10-18 | Paper |
Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem
| 2021-07-05 | Paper |
Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress
| 2021-07-05 | Paper |
A type system for the vectorial aspect of the linear-algebraic lambda-calculus
| 2021-04-27 | Paper |
On the semantics of polychronous polytimed specifications
| 2021-03-02 | Paper |
Semantics of a typed algebraic lambda-calculus
| 2021-02-16 | Paper |
Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces
Scientific Annals of Computer Science | 2019-02-08 | Paper |
From symmetric pattern-matching to quantum control
| 2018-07-17 | Paper |
Parallelism and synchronization in an infinitary context
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
A symbolic operational semantics for TESL -- with an application to heterogeneous system testing
| 2017-12-01 | Paper |
Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target
Quantum Information Processing | 2017-10-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 |
The vectorial \(\lambda\)-calculus
Information and Computation | 2017-05-18 | Paper |
On quantum and probabilistic linear lambda-calculi (extended abstract)
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Generating reversible circuits from higher-order functional programs
Reversible Computation | 2016-08-10 | 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 |
Finite vector spaces as model of simply-typed lambda-calculi
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Quantum computation: from a programmer's perspective
New Generation Computing | 2014-11-07 | Paper |
Quantum computation: a tutorial
New Generation Computing | 2014-11-07 | Paper |
Applying quantitative semantics to higher-order quantum computing
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
On a fully abstract model for a quantum linear functional language (extended abstract)
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
An introduction to quantum programming in Quipper
Reversible Computation | 2013-12-17 | Paper |
A typed, algebraic, computational lambda-calculus
Mathematical Structures in Computer Science | 2013-04-29 | Paper |
scientific article; zbMATH DE number 5708038 (Why is no real title available?)
| 2010-05-14 | Paper |
A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
A lambda calculus for quantum computation with classical control
Mathematical Structures in Computer Science | 2006-08-28 | Paper |
Typed Lambda Calculi and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
