The following pages link to The vectorial \(\lambda\)-calculus (Q529049):
Displaying 6 items.
- A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669) (← links)
- Typing Quantum Superpositions and Measurement (Q5055990) (← links)
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
- (Q5089014) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
- A concrete model for a typed linear algebraic lambda calculus (Q6149958) (← links)
