Skip to main content
SpringerLink
Log in
Book cover

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

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

  • Book
  • © 2013

Overview

Editors:
  1. Bob Coecke

    1. Department of Computer Science, University of Oxford, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luke Ong

    1. Department of Computer Science, University of Oxford, Oxford, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Prakash Panangaden

    1. Department of Computer Science, McGill University, Montréal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • High quality selected papers
  • Unique visibility
  • State of the art contents

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7860)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 chapters)

  1. Front Matter

    Download chapter PDF

  2. Use of a Canonical Hidden-Variable Space in Quantum Mechanics

    • Adam Brandenburger, H. Jerome Keisler
    Pages 1-6

  3. Imperfect Information in Logic and Concurrent Games

    • Pierre Clairambault, Julian Gutierrez, Glynn Winskel
    Pages 7-20

  4. Compositional Quantum Logic

    • Bob Coecke, Chris Heunen, Aleks Kissinger
    Pages 21-36

  5. The Algebra of Directed Acyclic Graphs

    • Marcelo Fiore, Marco Devesas Campos
    Pages 37-51

  6. Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits

    • Dan R. Ghica
    Pages 52-68

  7. Payoffs, Intensionality and Abstraction in Games

    • Chris Hankin, Pasquale Malacaria
    Pages 69-82

  8. On the Theory of Composition in Physics

    • Lucien Hardy
    Pages 83-106

  9. On the Functor â„“2

    • Chris Heunen
    Pages 107-121

  10. Quantum Speedup and Categorical Distributivity

    • Peter Hines
    Pages 122-138

  11. Unifying Semantics for Concurrent Programming

    • Tony Hoare
    Pages 139-149

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

    • Furio Honsell, Marina Lenisa
    Pages 150-165

  13. Continuous Domain Theory in Logical Form

    • Achim Jung
    Pages 166-177

  14. Presheaf Models of Quantum Computation: An Outline

    • Octavio Malherbe, Philip Scott, Peter Selinger
    Pages 178-194

  15. Nothing Can Be Fixed

    • Keye Martin
    Pages 195-196

  16. Dialogue Categories and Frobenius Monoids

    • Paul-AndrĂ© Melliès
    Pages 197-224

  17. Anatomy of a Domain of Continuous Random Variables II

    • Michael Mislove
    Pages 225-245

  18. Towards Nominal Abramsky

    • Andrzej S. Murawski, Nikos Tzevelekos
    Pages 246-263

  19. Techniques for Formal Modelling and Analysis of Quantum Systems

    • Simon J. Gay, Rajagopal Nagarajan
    Pages 264-276

  20. Quantum Field Theory for Legspinners

    • Prakash Panangaden
    Pages 277-290
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computer Science, University of Oxford, Oxford, UK

    Bob Coecke, Luke Ong

  • Department of Computer Science, McGill University, MontrĂ©al, Canada

    Prakash Panangaden

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation