Pages that link to "Item:Q2870212"

The following pages link to On a Fully Abstract Model for a Quantum Linear Functional Language (Q2870212):

Displaying 12 items.

• Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
• Quantum computation: from a programmer's perspective (Q468591) (← links)
• Semantics for a quantum programming language by operator algebras (Q1670504) (← links)
• Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
• Game Semantics for Quantum Data (Q2825342) (← links)
• On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract) (Q2825348) (← links)
• Applicative Bisimulation and Quantum λ-Calculi (Q3455863) (← links)
• Presheaf Models of Quantum Computation: An Outline (Q4922081) (← links)
• (Q5015214) (← links)
• Concurrent Quantum Strategies (Q5237210) (← links)
• Game Semantics for Quantum Stores (Q5415636) (← links)
• Monoidal reverse differential categories (Q5889303) (← links)