E-book
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden.
Record details
- ISBN: 9783642381645
- Physical Description: XX, 363 p. 26 illus. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Search for related items by subject
Search for related items by series
Electronic resources
| 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. |
