scientific article; zbMATH DE number 1841820

zbMATH Open0999.68120MaRDI QIDQ4783308FDOQ4783308

Authors: Vincent Danos, Russell S. Harmer 

Publication date: 4 December 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420188

Title of this publication is not available (Why is that?)

Recommendations

• The Anatomy of Innocence Revisited
• Anatomy of a duality.
• The recollements of purity
• Anatomy of the Chase
• ANATOMY OF THE MONSTER: II
• THE POWER OF NAIVE TRUTH
• scientific article; zbMATH DE number 1187236
• scientific article; zbMATH DE number 1281125
• The essence of invexity

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Cited In (11)

• Epistemic Strategies and Games on Concurrent Processes
• An approach to innocent strategies as graphs
• Polarized games
• The far side of the cube. An elementary introduction to game semantics
• Games characterizing Levy-Longo trees
• Game semantics in the nominal model
• The recollements of purity
• The Anatomy of Innocence Revisited
• A graphical foundation for interleaving in game semantics
• Asynchronous Games: Innocence Without Alternation
• Anderson and Belnap's invitation to sin

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4783308)