TY  - BOOK
AU  - Coecke,Bob
AU  - Ong,Luke
AU  - Panangaden,Prakash
ED  - SpringerLink (Online service)
TI  - Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday 
T2  - Lecture Notes in Computer Science,
SN  - 9783642381645
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg, Imprint: Springer
KW  - Computer science
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computers
KW  - Algorithms
KW  - Computer logic
KW  - Mathematical logic
KW  - Computer Science
KW  - Logics and Meanings of Programs
KW  - Computation by Abstract Devices
KW  - Mathematical Logic and Formal Languages
KW  - Algorithm Analysis and Problem Complexity
KW  - Software Engineering
KW  - Programming Languages, Compilers, Interpreters
N1  - Use of a Canonical Hidden-Variable Space in Quantum Mechanics -- Imperfect Information in Logic and Concurrent Games -- Compositional Quantum Logic -- The Algebra of Directed Acyclic Graphs -- Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits -- Payoffs, Intensionality and Abstraction in Games -- On the Theory of Composition in Physics -- On the Functor 2 -- Quantum Speedup and Categorical Distributivity -- Unifying Semantics for Concurrent Programming -- Unfixing the Fixpoint: The Theories of the λY -Calculus -- Continuous Domain Theory in Logical Form -- Presheaf Models of Quantum Computation: An Outline -- Nothing Can Be Fixed -- Dialogue Categories and Frobenius Monoids -- Anatomy of a Domain of Continuous Random Variables II -- Towards Nominal Abramsky -- Techniques for Formal Modelling and Analysis of Quantum Systems -- Quantum Field Theory for Legspinners -- Bicompletions of Distance Matrices -- Partial Recursive Functions and Finality -- Breaking the Atom with Samson -- Reasoning about Strategies -- Domain Theory in Topical Form -- Kolmogorov Complexity of Categories
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-38164-5
ER  -