Cargando…

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