Nominal game semantics

This book complements existing introductory literature to game semantics, which highlight the then new structural components necessary to model higher-order computation; for example arenas, justification pointers, and innocence. In contrast, this monograph focuses on explaining the nominal content o...

Descripción completa

Detalles Bibliográficos
Autores principales: Murawski, Andrzej S, Tzevelekos, Nikos
Lenguaje:eng
Publicado: Now Publishers 2016
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2762157
_version_ 1780970652527755264
author Murawski, Andrzej S
Tzevelekos, Nikos
author_facet Murawski, Andrzej S
Tzevelekos, Nikos
author_sort Murawski, Andrzej S
collection CERN
description This book complements existing introductory literature to game semantics, which highlight the then new structural components necessary to model higher-order computation; for example arenas, justification pointers, and innocence. In contrast, this monograph focuses on explaining the nominal content of our games.
id cern-2762157
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2016
publisher Now Publishers
record_format invenio
spelling cern-27621572021-04-21T16:39:15Zhttp://cds.cern.ch/record/2762157engMurawski, Andrzej STzevelekos, NikosNominal game semanticsXXThis book complements existing introductory literature to game semantics, which highlight the then new structural components necessary to model higher-order computation; for example arenas, justification pointers, and innocence. In contrast, this monograph focuses on explaining the nominal content of our games.Now Publishersoai:cds.cern.ch:27621572016
spellingShingle XX
Murawski, Andrzej S
Tzevelekos, Nikos
Nominal game semantics
title Nominal game semantics
title_full Nominal game semantics
title_fullStr Nominal game semantics
title_full_unstemmed Nominal game semantics
title_short Nominal game semantics
title_sort nominal game semantics
topic XX
url http://cds.cern.ch/record/2762157
work_keys_str_mv AT murawskiandrzejs nominalgamesemantics
AT tzevelekosnikos nominalgamesemantics

Ejemplares similares