Pages that link to "Item:Q2024925"
From MaRDI portal
The following pages link to A categorical construction for the computational definition of vector spaces (Q2024925):
Displaying 4 items.
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model (Q5043591) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5918648) (← 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)
