| LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits | 0 | 0.34 | 2022 |
| Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. | 0 | 0.34 | 2021 |
| Categorical Semantics of Reversible Pattern-Matching. | 0 | 0.34 | 2021 |
| Geometry of Interaction for ZX-Diagrams. | 0 | 0.34 | 2021 |
| An Automated Deductive Verification Framework for Circuit-building Quantum Programs. | 0 | 0.34 | 2021 |
| On the Semantics of Polychronous Polytimed Specifications | 0 | 0.34 | 2020 |
| Realizability in the Unitary Sphere | 0 | 0.34 | 2019 |
| From Symmetric Pattern-Matching to Quantum Control. | 1 | 0.36 | 2018 |
| From Symmetric Pattern-Matching to Quantum Control. | 0 | 0.34 | 2018 |
| From Symmetric Pattern-Matching to Quantum Control (Extended Version). | 0 | 0.34 | 2018 |
| The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects. | 2 | 0.37 | 2017 |
| The vectorial λ-calculus. | 1 | 0.35 | 2017 |
| Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target. | 1 | 0.36 | 2017 |
| Generating Reversible Circuits From Higher-Order Functional Programs | 0 | 0.34 | 2016 |
| Parallelism and Synchronization in an Infinitary Context | 3 | 0.39 | 2015 |
| Programming the quantum future | 3 | 0.40 | 2015 |
| Towards a Formal Semantics of the TESL Specification Language. | 0 | 0.34 | 2015 |
| Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. | 3 | 0.47 | 2014 |
| Quipper: Concrete Resource Estimation in Quantum Algorithms. | 1 | 0.40 | 2014 |
| Modeling Simply-Typed Lambda Calculi In The Category Of Finite Vector Spaces | 0 | 0.34 | 2014 |
| Applying quantitative semantics to higher-order quantum computing | 21 | 0.89 | 2014 |
| The Vectorial Lambda-Calculus. | 6 | 0.56 | 2013 |
| An introduction to quantum programming in quipper | 15 | 1.01 | 2013 |
| A typed, algebraic, computational lambda-calculus. | 3 | 0.44 | 2013 |
| Quantum Computation: From a Programmer's Perspective. | 5 | 0.57 | 2013 |
| Quipper: a scalable quantum programming language | 80 | 4.06 | 2013 |
| Quantum Computation: a Tutorial. | 1 | 0.38 | 2012 |
| Subject reduction in a Curry-style polymorphic type system with a vectorial structure | 0 | 0.34 | 2011 |
| Semantics Of A Typed Algebraic Lambda-Calculus | 2 | 0.41 | 2010 |
| A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract) | 4 | 0.44 | 2008 |
| On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract) | 6 | 0.51 | 2008 |
| A lambda calculus for quantum computation with classical control | 60 | 3.47 | 2006 |
| Quantum typing | 10 | 0.75 | 2004 |
