scientific article; zbMATH DE number 1841820

zbMath0999.68120MaRDI QIDQ4783308

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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (5)

Games characterizing Levy-Longo trees ⋮ Polarized games ⋮ Game Semantics in the Nominal Model ⋮ A graphical foundation for interleaving in game semantics ⋮ Epistemic Strategies and Games on Concurrent Processes

This page was built for publication: