Game Semantics for Higher-Order Concurrency

From MaRDI portal

Revision as of 00:54, 9 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5386004

Jump to:navigation, search

DOI10.1007/11944836_38zbMath1177.68139OpenAlexW2093678838MaRDI QIDQ5386004

No author found.

Publication date: 17 April 2008

Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11944836_38

Mathematics Subject Classification ID

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

Related Items (5)

Full abstraction for Reduced ML ⋮ First-order reasoning for higher-order concurrency ⋮ Program equivalence in a simple language with state ⋮ A Testing Theory for a Higher-Order Cryptographic Language ⋮ A game semantics of names and pointers

This page was built for publication: Game Semantics for Higher-Order Concurrency

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5386004&oldid=20106921"