Typing Quantum Superpositions and Measurement (Q5055990): Difference between revisions

@@ 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 @@
+Linearity in the Non-deterministic Call-by-Value Setting
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Quantum Programming in Quipper
@@ Property / cites work: An Introduction to Quantum Programming in Quipper / rank @@
+Normal rank
@@ Property / cites work @@
+Applying quantitative semantics to higher-order quantum computing
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Q3560839
@@ Property / cites work: Q3560839 / rank @@
+Normal rank
@@ Property / cites work @@
+On quantum lambda calculi: a foundational perspective
+Normal rank