Nominal Game Semantics

Article navigation

Research Article| March 09 2016

Andrzej S. Murawski;

Andrzej S. Murawski

University of Warwick

Search for other works by this author on:

PubMed

Nikos Tzevelekos

Queen Mary University of London

Search for other works by this author on:

PubMed

Online ISSN: 2325-1131

Print ISSN: 2325-1107

2016

A. S. Murawski and N. Tzevelekos

Licensed re-use rights only

Foundations and Trends in Programming Languages (2016) 2 (4): 191–269.

https://doi.org/10.1561/2500000017

These tutorial notes present nominal game semantics, a denotational technique for modelling higher-order programs.

2016

A. S. Murawski and N. Tzevelekos

Licensed re-use rights only

You do not currently have access to this content.

Don't already have an account? Register

Sign in