Pages that link to "Item:Q5055990"

The following pages link to Typing Quantum Superpositions and Measurement (Q5055990):

Displaying 9 items.

• The vectorial \(\lambda\)-calculus (Q529049) (← links)
• A categorical construction for the computational definition of vector spaces (Q2024925) (← links)
• A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669) (← links)
• Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model (Q5043591) (← links)
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
• Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
• A concrete model for a typed linear algebraic lambda calculus (Q6149958) (← links)
• An overview of quantum software engineering in Latin America (Q6659053) (← links)
• A quick overview on the quantum control approach to the lambda calculus (Q6661148) (← links)