Pages that link to "Item:Q2938763"

The following pages link to Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus (Q2938763):

Displaying 7 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)
• Typing Quantum Superpositions and Measurement (Q5055990) (← links)
• A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
• A concrete model for a typed linear algebraic lambda calculus (Q6149958) (← links)