|
" Computation, logic, games, and quantum foundations : "
Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
748003
|
| Doc. No
|
:
|
b567956
|
| Main Entry
|
:
|
Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
|
| Title & Author
|
:
|
Computation, logic, games, and quantum foundations : : the many facets of Samson Abramsky : essays dedicated to Samson Abramsky on the occasion of his 60th birthday\ Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
|
| Publication Statement
|
:
|
Heidelberg : Springer, [, 2013]
|
| Series Statement
|
:
|
Lecture notes in computer science, 7860.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
|
| Page. NO
|
:
|
(1 recurs electrònic).
|
| ISBN
|
:
|
3642381634
|
|
|
:
|
: 3642381642
|
|
|
:
|
: 9783642381638
|
|
|
:
|
: 9783642381645
|
| Notes
|
:
|
Descripció del recurs: 16 de setembre de 2014.
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Abramsky, Samsom.
|
| Subject
|
:
|
Jocs, Teoria de.
|
| Subject
|
:
|
Lògica informàtica.
|
| LC Classification
|
:
|
QA76.B633 2013
|
| Added Entry
|
:
|
Bob Coecke
|
|
|
:
|
Luke Ong
|
|
|
:
|
P Panangaden
|
|
|
:
|
Samson Abramsky
|
| |