Pages that link to "Item:Q2825375"
From MaRDI portal
The following pages link to Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic (Q2825375):
Displaying 2 items.
The following pages link to Scalar System F for linear-algebraic \(\lambda\)-calculus: towards a quantum physical logic (Q2825375):
Displaying 2 items.