FJQuantum. A quantum object oriented language (Q529648): Difference between revisions

@@ Property / author @@
-Juliana Kaizer Vizzotto
@@ Property / author: Juliana Kaizer Vizzotto / rank @@
-Normal rank
@@ Property / author @@
-Eduardo Kessler Piveta
@@ Property / author: Eduardo Kessler Piveta / rank @@
-Normal rank
@@ Property / author @@
+Juliana Kaizer Vizzotto
@@ Property / author: Juliana Kaizer Vizzotto / rank @@
+Normal rank
@@ Property / author @@
+Eduardo Kessler Piveta
@@ Property / author: Eduardo Kessler Piveta / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Featherweight Java
@@ Property / describes a project that uses: Featherweight Java / rank @@
+Normal rank
@@ 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.1016/j.entcs.2016.09.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2528443786
@@ Property / OpenAlex ID: W2528443786 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317666
@@ Property / Wikidata QID: Q113317666 / 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 Double Effect λ-calculus for Quantum Computation
+Normal rank
@@ Property / cites work @@
+Interacting Quantum Observables
@@ Property / cites work: Interacting Quantum Observables / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum theory, the Church–Turing principle and the universal quantum computer
+Normal rank
@@ Property / cites work @@
+Limitations of quantum coset states for graph isomorphism
+Normal rank
@@ Property / cites work @@
+Q3540810
@@ Property / cites work: Q3540810 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Computer Science
@@ Property / cites work: Quantum Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Computation and Quantum Information
@@ Property / cites work: Quantum Computation and Quantum Information / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721095
@@ Property / cites work: Q2721095 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a quantum programming language
@@ Property / cites work: Towards a quantum programming language / rank @@
+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 @@
+A Lambda Calculus for Quantum Computation
@@ Property / cites work: A Lambda Calculus for Quantum Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Structuring quantum effects: superoperators as arrows
+Normal rank
@@ Property / cites work @@
+The Arrow Calculus as a Quantum Programming Language
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:529648