The Arrow Calculus as a Quantum Programming Language (Q3638297): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1480152022
@@ Property / OpenAlex ID: W1480152022 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1489
@@ Property / arXiv ID: 0903.1489 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4228473
@@ Property / cites work: Q4228473 / rank @@
+Normal rank
@@ Property / cites work @@
+Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
+Normal rank
@@ Property / cites work @@
+Structuring quantum effects: superoperators as arrows
+Normal rank
@@ Property / cites work @@
+Generalising monads to arrows
@@ Property / cites work: Generalising monads to arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Applicative programming with effects
@@ Property / cites work: Applicative programming with effects / rank @@
+Normal rank
@@ Property / cites work @@
+The arrow calculus
@@ Property / cites work: The arrow calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+A new notation for arrows
@@ Property / cites work: A new notation for arrows / rank @@
+Normal rank
@@ Property / cites work @@
+An Algebra of Pure Quantum Programming
@@ Property / cites work: An Algebra of Pure Quantum Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Lambda Calculus for Quantum Computation
@@ Property / cites work: A Lambda Calculus for Quantum Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving backtracking monad transformers
@@ Property / cites work: Deriving backtracking monad transformers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542516
@@ Property / cites work: Q4542516 / rank @@
+Normal rank
@@ Property / cites work @@
+A lambda calculus for quantum computation with classical control
+Normal rank