On the public citation graph

Game semantics for quantum programming

https://doi.org/10.1145/3290345
0 signed · 70 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1006/inco.2000.2917openalex-snapshot
On Full Abstraction for PCF: I, II, and III
inferredcites →https://doi.org/10.1006/inco.2000.2930openalex-snapshot
Full Abstraction for PCF
inferredcites →https://doi.org/10.1007/978-3-540-74407-8_27openalex-snapshot
Asynchronous Games: Innocence Without Alternation
inferredcites →https://doi.org/10.1007/978-3-642-02273-9_9openalex-snapshot
Partial Orders, Event Structures and Linear Strategies
inferredcites →https://doi.org/10.1007/978-3-642-38164-5openalex-snapshot
Computation, logic, games, and quantum foundations : the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday
inferredcites →https://doi.org/10.1007/bfb0028004openalex-snapshot
Call-by-value games
inferredcites →https://doi.org/10.1007/s00165-012-0235-6openalex-snapshot
Deterministic concurrent strategies
inferredcites →https://doi.org/10.1016/0304-3975(87)90045-4openalex-snapshot
Linear logic
inferredcites →https://doi.org/10.1016/b978-0-7204-2233-7.50001-0openalex-snapshot
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS
inferredcites →https://doi.org/10.1016/j.apal.2016.10.010openalex-snapshot
Semantics of higher-order quantum computation via geometry of interaction
inferredcites →https://doi.org/10.1016/j.entcs.2007.02.022openalex-snapshot
Event Structures with Symmetry
inferredcites →https://doi.org/10.1016/j.entcs.2008.04.022openalex-snapshot
On a Fully Abstract Model for a Quantum Linear Functional Language
inferredcites →https://doi.org/10.1016/j.entcs.2011.01.005openalex-snapshot
Game Semantics for Quantum Data
inferredcites →https://doi.org/10.1016/j.entcs.2013.09.024openalex-snapshot
Distributed Probabilistic and Quantum Strategies
inferredcites →https://doi.org/10.1016/s0049-237x(08)70271-4openalex-snapshot
Geometry of Interaction 1: Interpretation of System F
inferredcites →https://doi.org/10.1016/s0304-3975(01)00241-9openalex-snapshot
Glueing and orthogonality for models of linear logic
inferredcites →https://doi.org/10.1016/s0304-3975(99)00039-0openalex-snapshot
Game-theoretic analysis of call-by-value computation
inferredcites →https://doi.org/10.1016/s1571-0661(04)80078-1openalex-snapshot
Direct Models of the Computational Lambda-calculus
inferredcites →https://doi.org/10.1017/s0305004100074338openalex-snapshot
Traced monoidal categories
inferredcites →https://doi.org/10.1017/s0960129504004256openalex-snapshot
Towards a quantum programming language
inferredcites →https://doi.org/10.1017/s0960129506005238openalex-snapshot
A lambda calculus for quantum computation with classical control
inferredcites →https://doi.org/10.1017/s0960129506005378openalex-snapshot
Quantum programming languages: survey and bibliography
inferredcites →https://doi.org/10.1017/s0960129597002375openalex-snapshot
Premonoidal categories and notions of computation
inferredcites →https://doi.org/10.1103/revmodphys.74.145openalex-snapshot
Quantum cryptography
inferredcites →https://doi.org/10.1109/lics.1999.782637openalex-snapshot
A fully abstract game semantics for finite nondeterminism
inferredcites →https://doi.org/10.1109/lics.1999.782638openalex-snapshot
Concurrent games and full completeness
inferredcites →https://doi.org/10.1109/lics.2005.6openalex-snapshot
Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic
inferredcites →https://doi.org/10.1109/lics.2011.13openalex-snapshot
Concurrent Strategies
inferredcites →https://doi.org/10.1109/lics.2012.34openalex-snapshot
The Winning Ways of Concurrent Games
inferredcites →https://doi.org/10.1109/lics.2012.58openalex-snapshot
Game Semantics in String Diagrams
inferredcites →https://doi.org/10.1109/lics.2013.36openalex-snapshot
Weighted Relational Models of Typed Lambda-Calculi
inferredcites →https://doi.org/10.1109/lics.2015.31openalex-snapshot
The Parallel Intensionally Fully Abstract Games Model of PCF
inferredcites →https://doi.org/10.1119/1.1463744openalex-snapshot
Quantum Computation and Quantum Information
inferredcites →https://doi.org/10.1137/s0097539795293172openalex-snapshot
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
inferredcites →https://doi.org/10.1145/237814.237866openalex-snapshot
A fast quantum mechanical algorithm for database search
inferredcites →https://doi.org/10.1145/2535838.2535879openalex-snapshot
Applying quantitative semantics to higher-order quantum computing
inferredcites →https://doi.org/10.1145/2603088.2603141openalex-snapshot
Symmetry in concurrent games
inferredcites →https://doi.org/10.1145/3209108.3209187openalex-snapshot
The concurrent game semantics of Probabilistic PCF
inferredcites →https://doi.org/10.17863/cam.34861openalex-snapshot
Games and Strategies as Event Structures
inferredcites →https://doi.org/10.20381/ruor-20066openalex-snapshot
Categorical models of computation: Partially traced categories and presheaf models of quantum computation
inferredcites →https://doi.org/10.23638/lmcs-13(3:35)2017openalex-snapshot
Games and Strategies as Event Structures
inferredcites →https://doi.org/10.48550/arxiv.1610.09629openalex-snapshot
The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-17127-8_2openalex-snapshot
Resource-Tracking Concurrent Games
inferred← citeshttps://doi.org/10.1007/978-3-030-21500-2_1openalex-snapshot
Concurrent Quantum Strategies
inferred← citeshttps://doi.org/10.1007/978-3-030-45231-5_29openalex-snapshot
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
inferred← citeshttps://doi.org/10.1007/978-3-030-57201-3_10openalex-snapshot
Semantics for First-Order Affine Inductive Data Types via Slice Categories
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_19openalex-snapshot
Bayesian strategies: probabilistic programs as generalised graphical models
inferred← citeshttps://doi.org/10.1007/978-3-030-99253-8_9openalex-snapshot
Categorical composable cryptography
inferred← citeshttps://doi.org/10.1007/978-3-031-24117-8_9openalex-snapshot
The Mays and Musts of Concurrent Strategies
inferred← citeshttps://doi.org/10.1007/978-3-031-90897-2_8openalex-snapshot
Combining quantum and classical control: syntax, semantics and adequacy
inferred← citeshttps://doi.org/10.1007/978-981-95-3585-9_7openalex-snapshot
IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation
inferred← citeshttps://doi.org/10.1007/978-981-96-5051-4_2openalex-snapshot
Quantum Programming
inferred← citeshttps://doi.org/10.1007/978-981-97-8943-6_10openalex-snapshot
Non-deterministic, Probabilistic, and Quantum Effects Through the Lens of Event Structures
inferred← citeshttps://doi.org/10.1007/s11219-023-09632-6openalex-snapshot
Minimizing incident response time in real-world scenarios using quantum computing
inferred← citeshttps://doi.org/10.1109/lics56636.2023.10175727openalex-snapshot
Making Concurrency Functional
inferred← citeshttps://doi.org/10.1109/lics65433.2025.00071openalex-snapshot
Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory
inferred← citeshttps://doi.org/10.1145/3371131openalex-snapshot
Full abstraction for the quantum lambda-calculus
inferred← citeshttps://doi.org/10.1145/3498687openalex-snapshot
Semantics for variational Quantum programming
inferred← citeshttps://doi.org/10.1145/3632855openalex-snapshot
Enriched Presheaf Model of Quantum FPC
inferred← citeshttps://doi.org/10.1145/3649811openalex-snapshot
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
inferred← citeshttps://doi.org/10.1145/3661814.3662075openalex-snapshot
Concurrent Games over Relational Structures: The Origin of Game Comonads
inferred← citeshttps://doi.org/10.1145/3734192.3734195openalex-snapshot
Distributed Strategies—Past and Future
inferred← citeshttps://doi.org/10.26226/morressier.604907f51a80aac83ca25d76openalex-snapshot
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
inferred← citeshttps://doi.org/10.3390/app9245472openalex-snapshot
Quantum Calculi—From Theory to Language Design
inferred← citeshttps://doi.org/10.3390/info15040181openalex-snapshot
QISS: Quantum-Enhanced Sustainable Security Incident Handling in the IoT
inferred← citeshttps://doi.org/10.46298/lmcs-19(4:30)2023openalex-snapshot
Categorical composable cryptography: extended version
inferred← citeshttps://doi.org/10.48550/arxiv.2007.07047openalex-snapshot
Quantum Software Engineering: Landscapes and Horizons
inferred← citeshttps://doi.org/10.48550/arxiv.2304.15000openalex-snapshot
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
inferred← citeshttps://doi.org/10.70675/1fe9d40fzc796z4fb8zbc8fz98a158e7d52aopenalex-snapshot
Quantum Game Semantics
inferred← citeshttps://doi.org/10.70675/6b70d44az1115z499czb627z1399e095ca2bopenalex-snapshot
Enriched concurrent games : witnesses for proofs and resource analysis
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.