Ebook: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, during May 28-30, 2010. The papers in this volume represent his manifold contributions to semantics, logic, games, and quantum mechanics.

---

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, during May 28-30, 2010. The papers in this volume represent his manifold contributions to semantics, logic, games, and quantum mechanics.

---

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthday of Samson Abramsky, a conference was held in Oxford, UK, during May 28-30, 2010. The papers in this volume represent his manifold contributions to semantics, logic, games, and quantum mechanics.
Content:
Front Matter....Pages -
Use of a Canonical Hidden-Variable Space in Quantum Mechanics....Pages 1-6
Imperfect Information in Logic and Concurrent Games....Pages 7-20
Compositional Quantum Logic....Pages 21-36
The Algebra of Directed Acyclic Graphs....Pages 37-51
Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits....Pages 52-68
Payoffs, Intensionality and Abstraction in Games....Pages 69-82
On the Theory of Composition in Physics....Pages 83-106
Quantum Speedup and Categorical Distributivity....Pages 107-121
Unifying Semantics for Concurrent Programming....Pages 122-138
Unfixing the Fixpoint: The Theories of the ?Y-Calculus....Pages 139-149
Continuous Domain Theory in Logical Form....Pages 150-165
Presheaf Models of Quantum Computation: An Outline....Pages 166-177
Nothing Can Be Fixed....Pages 178-194
Dialogue Categories and Frobenius Monoids....Pages 195-196
Anatomy of a Domain of Continuous Random Variables II....Pages 197-224
Towards Nominal Abramsky....Pages 225-245
Techniques for Formal Modelling and Analysis of Quantum Systems....Pages 246-263
Quantum Field Theory for Legspinners....Pages 264-276
Bicompletions of Distance Matrices....Pages 277-290
Partial Recursive Functions and Finality....Pages 291-310
Breaking the Atom with Samson....Pages 311-326
Reasoning about Strategies....Pages 327-335
Domain Theory in Topical Form....Pages 336-347
Kolmogorov Complexity of Categories....Pages 348-349
Back Matter....Pages 350-362
....Pages -