Linear-algebraic λ-calculus: higher-order, encodings, and confluence. (Q3522006): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-70590-1_2
+Normal rank
@@ Property / OpenAlex ID @@
+W2114421037
@@ Property / OpenAlex ID: W2114421037 / 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 @@
+Q2849867
@@ Property / cites work: Q2849867 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2980972
@@ Property / cites work: Q2980972 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
+Normal rank
@@ Property / cites work @@
+Lambda-calculi for (strict) parallel functions
@@ Property / cites work: Lambda-calculi for (strict) parallel functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4447223
@@ Property / cites work: Q4447223 / rank @@
+Normal rank
@@ Property / cites work @@
+A new universal and fault-tolerant quantum basis
@@ Property / cites work: A new universal and fault-tolerant quantum basis / rank @@
+Normal rank
@@ Property / cites work @@
+Rapid solution of problems by quantum computation
@@ Property / cites work: Rapid solution of problems by quantum computation / rank @@
+Normal rank
@@ Property / cites work @@
+Adding algebraic rewriting to the untyped lambda calculus
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic  -calculus and Quantitative Program Analysis
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508299
@@ Property / cites work: Q4508299 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of a Set of Rules Modulo a Set of Equations
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Quantum computation by measurement and quantum memory
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+The one-way quantum computer--a non-network model of quantum computation
+Normal rank
@@ Property / cites work @@
+Towards a quantum programming language
@@ Property / cites work: Towards a quantum programming language / rank @@
+Normal rank
@@ Property / cites work @@
+A lambda calculus for quantum computation with classical control
+Normal rank
@@ Property / cites work @@
+Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
+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 @@
+On Linear Combinations of λ-Terms
@@ Property / cites work: On Linear Combinations of λ-Terms / rank @@
+Normal rank
@@ Property / cites work @@
+A single quantum cannot be cloned
@@ Property / cites work: A single quantum cannot be cloned / rank @@
+Normal rank