A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3170869185
@@ Property / OpenAlex ID: W3170869185 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00097
@@ Property / arXiv ID: 1705.00097 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum walks on graphs
@@ Property / cites work: Quantum walks on graphs / rank @@
+Normal rank
@@ Property / cites work @@
+One-dimensional quantum walks
@@ Property / cites work: One-dimensional quantum walks / 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 @@
+Q5015185
@@ Property / cites work: Q5015185 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum weakest preconditions
@@ Property / cites work: Quantum weakest preconditions / rank @@
+Normal rank
@@ Property / cites work @@
+A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
+Normal rank
@@ Property / cites work @@
+Typing Quantum Superpositions and Measurement
@@ Property / cites work: Typing Quantum Superpositions and Measurement / rank @@
+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 @@
+Bisimulation for quantum processes
@@ Property / cites work: Bisimulation for quantum processes / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking quantum Markov chains
@@ Property / cites work: Model checking quantum Markov chains / 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 @@
+Confluence Results for a Quantum Lambda Calculus with Measurements
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying quantitative semantics to higher-order quantum computing
+Normal rank
@@ Property / cites work @@
+Towards a quantum programming language
@@ Property / cites work: Towards a quantum programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3560839
@@ Property / cites work: Q3560839 / rank @@
+Normal rank
@@ Property / cites work @@
+A lambda calculus for quantum computation with classical control
+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 @@
+The algebraic lambda calculus
@@ Property / cites work: The algebraic lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Invariants of quantum programs: characterisations and generation
+Normal rank
@@ Property / cites work @@
+On quantum lambda calculi: a foundational perspective
+Normal rank