The following pages link to (Q2980972):
Displaying 17 items.
- The vectorial \(\lambda\)-calculus (Q529049) (← links)
- A categorical construction for the computational definition of vector spaces (Q2024925) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669) (← links)
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006) (← links)
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model (Q5043591) (← links)
- Typing Quantum Superpositions and Measurement (Q5055990) (← links)
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
- (Q5089014) (← links)
- (Q5089188) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5918648) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- A concrete model for a typed linear algebraic lambda calculus (Q6149958) (← links)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)
- A quick overview on the quantum control approach to the lambda calculus (Q6661148) (← links)
