Year: 2016
Type: article
Abstract: Game semantics is a flexible semantic theory that has led in recent years to an unprecedented number of full abstraction results for various programming paradigms. We present a gentle introduction to the subject, focussing on high-level ideas and examples with a view to providing a bridge to more technical literature.
Source: ACM SIGLOG News
Authors: Andrzej S. Murawski, Nikos Tzevelekos
Institutions: University of Warwick, Queen Mary University of London
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W2506986085