Book Volume 7860 2013

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky

Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday

Editors:

ISBN: 978-3-642-38163-8 (Print) 978-3-642-38164-5 (Online)

Table of contents (26 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Chapter

    Pages 1-6

    Use of a Canonical Hidden-Variable Space in Quantum Mechanics

  3. No Access

    Chapter

    Pages 7-20

    Imperfect Information in Logic and Concurrent Games

  4. No Access

    Chapter

    Pages 21-36

    Compositional Quantum Logic

  5. No Access

    Chapter

    Pages 37-51

    The Algebra of Directed Acyclic Graphs

  6. No Access

    Chapter

    Pages 52-68

    Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits

  7. No Access

    Chapter

    Pages 69-82

    Payoffs, Intensionality and Abstraction in Games

  8. No Access

    Chapter

    Pages 83-106

    On the Theory of Composition in Physics

  9. No Access

    Chapter

    Pages 107-121

    On the Functor ℓ2

  10. No Access

    Chapter

    Pages 122-138

    Quantum Speedup and Categorical Distributivity

  11. No Access

    Chapter

    Pages 139-149

    Unifying Semantics for Concurrent Programming

  12. No Access

    Chapter

    Pages 150-165

    Unfixing the Fixpoint: The Theories of the λY-Calculus

  13. No Access

    Chapter

    Pages 166-177

    Continuous Domain Theory in Logical Form

  14. No Access

    Chapter

    Pages 178-194

    Presheaf Models of Quantum Computation: An Outline

  15. No Access

    Chapter

    Pages 195-196

    Nothing Can Be Fixed

  16. No Access

    Chapter

    Pages 197-224

    Dialogue Categories and Frobenius Monoids

  17. No Access

    Chapter

    Pages 225-245

    Anatomy of a Domain of Continuous Random Variables II

  18. No Access

    Chapter

    Pages 246-263

    Towards Nominal Abramsky

  19. No Access

    Chapter

    Pages 264-276

    Techniques for Formal Modelling and Analysis of Quantum Systems

  20. No Access

    Chapter

    Pages 277-290

    Quantum Field Theory for Legspinners

  21. No Access

    Chapter

    Pages 291-310

    Bicompletions of Distance Matrices

previous Page of 2