Game Semantics for Quantum Data (Q2825342): Difference between revisions

@@ Property / describes a project that uses @@
+QPL
@@ Property / describes a project that uses: QPL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318330
@@ Property / Wikidata QID: Q113318330 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2011.01.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2092554941
@@ Property / OpenAlex ID: W2092554941 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic game semantics
@@ Property / cites work: Probabilistic game semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Game Semantics for Quantum Stores
@@ Property / cites work: Game Semantics for Quantum Stores / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245484
@@ Property / cites work: Q3245484 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of weakening and contraction
@@ Property / cites work: Semantics of weakening and contraction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875375
@@ Property / cites work: Q4875375 / 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 @@
+On a Fully Abstract Model for a Quantum Linear Functional Language
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2825342