Computation, Logic, Games, and Quantum Foundations

Keyphrases

Publications

2013

Chris Hankin, Pasquale Malacaria
Payoffs, Intensionality and Abstraction in Games. Computation, Logic, Games, and Quantum Foundations (2013)
Paul-André Melliès
Dialogue Categories and Frobenius Monoids. Computation, Logic, Games, and Quantum Foundations (2013)
Pierre Clairambault, Julian Gutierrez, Glynn Winskel
Imperfect Information in Logic and Concurrent Games. Computation, Logic, Games, and Quantum Foundations (2013)
Achim Jung
Continuous Domain Theory in Logical Form. Computation, Logic, Games, and Quantum Foundations (2013)
Chris Heunen
On the Functor ℓ2. Computation, Logic, Games, and Quantum Foundations (2013)
Marcelo P. Fiore, Marco Devesas Campos
The Algebra of Directed Acyclic Graphs. Computation, Logic, Games, and Quantum Foundations (2013)
Prakash Panangaden
Quantum Field Theory for Legspinners. Computation, Logic, Games, and Quantum Foundations (2013)
Adam Brandenburger, H. Jerome Keisler
Use of a Canonical Hidden-Variable Space in Quantum Mechanics. Computation, Logic, Games, and Quantum Foundations (2013)
Dan R. Ghica
Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits. Computation, Logic, Games, and Quantum Foundations (2013)
Dusko Pavlovic
Bicompletions of Distance Matrices. Computation, Logic, Games, and Quantum Foundations (2013)
Johan van Benthem
Reasoning about Strategies. Computation, Logic, Games, and Quantum Foundations (2013)
Michael W. Mislove
Anatomy of a Domain of Continuous Random Variables II. Computation, Logic, Games, and Quantum Foundations (2013)
Lucien Hardy
On the Theory of Composition in Physics. Computation, Logic, Games, and Quantum Foundations (2013)
Peter Hines
Quantum Speedup and Categorical Distributivity. Computation, Logic, Games, and Quantum Foundations (2013)
Bob Coecke, Chris Heunen, Aleks Kissinger
Compositional Quantum Logic. Computation, Logic, Games, and Quantum Foundations (2013)
Tony Hoare
Unifying Semantics for Concurrent Programming. Computation, Logic, Games, and Quantum Foundations (2013)
Gordon D. Plotkin
Partial Recursive Functions and Finality. Computation, Logic, Games, and Quantum Foundations (2013)
Steve Vickers
Domain Theory in Topical Form. Computation, Logic, Games, and Quantum Foundations (2013)
Furio Honsell, Marina Lenisa
Unfixing the Fixpoint: The Theories of the λY-Calculus. Computation, Logic, Games, and Quantum Foundations (2013)
Octavio Malherbe, Philip Scott, Peter Selinger
Presheaf Models of Quantum Computation: An Outline. Computation, Logic, Games, and Quantum Foundations (2013)
Andrzej S. Murawski, Nikos Tzevelekos
Towards Nominal Abramsky. Computation, Logic, Games, and Quantum Foundations (2013)
Jouko A. Väänänen
Breaking the Atom with Samson. Computation, Logic, Games, and Quantum Foundations (2013)
Noson S. Yanofsky
Kolmogorov Complexity of Categories. Computation, Logic, Games, and Quantum Foundations (2013)
Keye Martin
Nothing Can Be Fixed. Computation, Logic, Games, and Quantum Foundations (2013)
Simon J. Gay, Rajagopal Nagarajan
Techniques for Formal Modelling and Analysis of Quantum Systems. Computation, Logic, Games, and Quantum Foundations (2013)

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 Computation, Logic, Games, and Quantum Foundations 7860 (2013)