default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60th Birthday: Samson Abramsky 2013
- Bob Coecke, Luke Ong
, Prakash Panangaden:
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7860, Springer 2013, ISBN 978-3-642-38163-8 - Adam Brandenburger, H. Jerome Keisler:
Use of a Canonical Hidden-Variable Space in Quantum Mechanics. 1-6 - Pierre Clairambault, Julian Gutierrez, Glynn Winskel:
Imperfect Information in Logic and Concurrent Games. 7-20 - Bob Coecke, Chris Heunen, Aleks Kissinger:
Compositional Quantum Logic. 21-36 - Marcelo P. Fiore, Marco Devesas Campos:
The Algebra of Directed Acyclic Graphs. 37-51 - Dan R. Ghica:
Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits. 52-68 - Chris Hankin, Pasquale Malacaria:
Payoffs, Intensionality and Abstraction in Games. 69-82 - Lucien Hardy:
On the Theory of Composition in Physics. 83-106 - Chris Heunen:
On the Functor ℓ2. 107-121 - Peter Hines:
Quantum Speedup and Categorical Distributivity. 122-138 - Tony Hoare:
Unifying Semantics for Concurrent Programming. 139-149 - Furio Honsell, Marina Lenisa:
Unfixing the Fixpoint: The Theories of the λY-Calculus. 150-165 - Achim Jung:
Continuous Domain Theory in Logical Form. 166-177 - Octavio Malherbe, Philip J. Scott, Peter Selinger:
Presheaf Models of Quantum Computation: An Outline. 178-194 - Keye Martin:
Nothing Can Be Fixed. 195-196 - Paul-André Melliès:
Dialogue Categories and Frobenius Monoids. 197-224 - Michael W. Mislove:
Anatomy of a Domain of Continuous Random Variables II. 225-245 - Andrzej S. Murawski, Nikos Tzevelekos:
Towards Nominal Abramsky. 246-263 - Simon J. Gay, Rajagopal Nagarajan:
Techniques for Formal Modelling and Analysis of Quantum Systems. 264-276 - Prakash Panangaden:
Quantum Field Theory for Legspinners. 277-290 - Dusko Pavlovic:
Bicompletions of Distance Matrices. 291-310 - Gordon D. Plotkin:
Partial Recursive Functions and Finality. 311-326 - Jouko A. Väänänen:
Breaking the Atom with Samson. 327-335 - Johan van Benthem:
Reasoning about Strategies. 336-347 - Steve Vickers:
Domain Theory in Topical Form. 348-349 - Noson S. Yanofsky:
Kolmogorov Complexity of Categories. 350-362
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
