A concrete model for a typed linear algebraic lambda calculus (Q6149958): Difference between revisions

@@ Property / OpenAlex ID @@
+W3092546402
@@ Property / OpenAlex ID: W3092546402 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A System F accounting for scalars
@@ Property / cites work: A System F accounting for scalars / rank @@
+Normal rank
@@ Property / cites work @@
+The vectorial \(\lambda\)-calculus
@@ Property / cites work: The vectorial \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2980972
@@ Property / cites work: Q2980972 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus
+Normal rank
@@ Property / cites work @@
+Q4474834
@@ Property / cites work: Q4474834 / rank @@
+Normal rank
@@ Property / cites work @@
+Typing Quantum Superpositions and Measurement
@@ Property / cites work: Typing Quantum Superpositions and Measurement / rank @@
+Normal rank
@@ Property / cites work @@
+A concrete categorical semantics of lambda-\(\mathcal{S}\)
+Normal rank
@@ Property / cites work @@
+A categorical construction for the computational definition of vector spaces
+Normal rank
@@ Property / cites work @@
+Confluence in probabilistic rewriting
@@ Property / cites work: Confluence in probabilistic rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Linearity in the Non-deterministic Call-by-Value Setting
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying quantitative semantics to higher-order quantum computing
+Normal rank
@@ Property / cites work @@
+Dagger Compact Closed Categories and Completely Positive Maps
+Normal rank
@@ Property / cites work @@
+A lambda calculus for quantum computation with classical control
+Normal rank
@@ Property / cites work @@
+On quantum lambda calculi: a foundational perspective
+Normal rank