The following pages link to Benoît Valiron (Q468583):
Displaying 23 items.
- Quantum computation: a tutorial (Q468584) (← links)
- Quantum computation: from a programmer's perspective (Q468591) (← links)
- The vectorial \(\lambda\)-calculus (Q529049) (← links)
- From symmetric pattern-matching to quantum control (Q1652998) (← links)
- A symbolic operational semantics for TESL -- with an application to heterogeneous system testing (Q1683463) (← links)
- On the semantics of polychronous polytimed specifications (Q1996008) (← links)
- Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress (Q2039895) (← links)
- Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem (Q2039903) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
- Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target (Q2412588) (← links)
- Hybrid quantum-classical circuit simplification with the ZX-calculus (Q2691632) (← links)
- On new PageRank computation methods using quantum computing (Q2693891) (← links)
- Quantum circuits synthesis using Householder transformations (Q2698830) (← links)
- On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract) (Q2825348) (← links)
- An Introduction to Quantum Programming in Quipper (Q2868442) (← links)
- On a Fully Abstract Model for a Quantum Linear Functional Language (Q2870212) (← links)
- Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi (Q2938180) (← links)
- Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus (Q2938763) (← links)
- Generating Reversible Circuits from Higher-Order Functional Programs (Q3186607) (← links)
- Strong simulation of linear optical processes (Q6167678) (← links)
- (Q6168444) (← links)
- (Q6187071) (← links)
