Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
Subtitle: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
By: edited by Bob Coecke, Luke Ong, Prakash Panangaden
Contributors: Ong, Luke; Panangaden, Prakash; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7860
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2013
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 363
ISBN-13: 9783642381645
Subjects: Mathematical Logic and Formal Languages; Software engineering; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Computation by Abstract Devices; Computer science; Programming Languages, Compilers, Interpreters; Computer software
Description: 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.
Table of contents: title: Use of a Canonical Hidden-Variable Space in Quantum Mechanics; title: Imperfect Information in Logic and Concurrent Games; title: Compositional Quantum Logic; title: The Algebra of Directed Acyclic Graphs; title: Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits; title: Payoffs, Intensionality and Abstraction in Games; title: On the Theory of Composition in Physics; title: On the Functor 2; title: Quantum Speedup and Categorical Distributivity; title: Unifying Semantics for Concurrent Programming; title: Unfixing the Fixpoint: The Theories of the λY -Calculus; title: Continuous Domain Theory in Logical Form; title: Presheaf Models of Quantum Computation: An Outline; title: Nothing Can Be Fixed; title: Dialogue Categories and Frobenius Monoids; title: Anatomy of a Domain of Continuous Random Variables II; title: Towards Nominal Abramsky; title: Techniques for Formal Modelling and Analysis of Quantum Systems; title: Quantum Field Theory for Legspinners; title: Bicompletions of Distance Matrices; title: Partial Recursive Functions and Finality; title: Breaking the Atom with Samson; title: Reasoning about Strategies; title: Domain Theory in Topical Form; title: Kolmogorov Complexity of Categories.