scientific article; zbMATH DE number 7533349
From MaRDI portal
Publication:5079748
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.
Related Items (1)
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: