Pages that link to "Item:Q2849867"
From MaRDI portal
The following pages link to A computational definition of the notion of vectorial space (Q2849867):
Displaying 6 items.
- The vectorial \(\lambda\)-calculus (Q529049) (← links)
- A categorical construction for the computational definition of vector spaces (Q2024925) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- Measurements and confluence in quantum lambda calculi with explicit qubits (Q2825343) (← links)
- (Q2980972) (← links)
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006) (← links)