The following pages link to (Q3560840):
Displaying 5 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Quantum computation: from a programmer's perspective (Q468591) (← links)
- Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target (Q2412588) (← links)
- Reversible monadic computing (Q5971401) (← links)
- Type-safe quantum programming in Idris (Q6535254) (← links)