scientific article; zbMATH DE number 7533349

DOI10.4230/LIPIcs.CSL.2018.24MaRDI QIDQ5079748

James Laird, William John Gowers

Publication date: 28 May 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

semanticsnondeterminismgames and logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Infinite trace equivalence
• Definability and Full Abstraction
• Block structure vs scope extrusion: between innocence and omniscience
• Thin Games with Symmetry and Concurrent Hyland-Ong Games
• Unbounded Non-determinism in CSP
• Games and full completeness for multiplicative linear logic
• Nondeterminism in Game Semantics via Sheaves
• Strategies as Profunctors
• Sequential algorithms for unbounded nondeterminism

This page was built for publication: