Pages that link to "Item:Q2333669"

The following pages link to A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669):

Displaying 3 items.

• A categorical construction for the computational definition of vector spaces (Q2024925) (← links)
• Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model (Q5043591) (← links)
• A concrete model for a typed linear algebraic lambda calculus (Q6149958) (← links)