Pages that link to "Item:Q3522006"
From MaRDI portal
The following pages link to Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006):
Displaying 18 items.
- Algeo: an algebraic approach to reversibility (Q2097422) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- Measurements and confluence in quantum lambda calculi with explicit qubits (Q2825343) (← links)
- Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic (Q2825375) (← links)
- Confluence results for a quantum lambda calculus with measurements (Q2825377) (← links)
- (Q2980972) (← links)
- $$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations (Q2988843) (← links)
- Call-by-Value Non-determinism in a Linear Logic Type Discipline (Q3455843) (← links)
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006) (← links)
- On a measurement-free quantum lambda calculus with classical control (Q3625676) (← links)
- A typed, algebraic, computational lambda-calculus (Q4917199) (← links)
- (Q5015214) (← links)
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model (Q5043591) (← links)
- (Q5089014) (← links)
- (Q5227520) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
- A quick overview on the quantum control approach to the lambda calculus (Q6661148) (← links)