عنوان

Computation, logic, games, and quantum foundations :

3642381634

3642381642

9783642381638

9783642381645

b567956

Computation, logic, games, and quantum foundations :

[Book]

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.).

Heidelberg

Springer, [

2013]

(1 recurs electrònic).

Lecture notes in computer science, 7860.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.

Descripció del recurs: 16 de setembre de 2014.

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.

Abramsky, Samsom.

Jocs, Teoria de.

Lògica informàtica.

Bob Coecke, Luke Ong, Prakash Panangaden (eds.).

Bob Coecke

Luke Ong

P Panangaden

Samson Abramsky

[Book]

Y