Pages that link to "Item:Q2333669"
From MaRDI portal
The following pages link to A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669):
Displaying 4 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)
- A quick overview on the quantum control approach to the lambda calculus (Q6661148) (← links)
