Report icon

Report

Nominal Game Semantics

Abstract:

Game Semantics arguably stands for one of the most successful techniques in denotational semantics, having provided not only proper denotational, accurate models for a large variety of programming languages, but also new semantical tools for program verification and validation. Most of all, over the last couple of decades, game semantics has contributed a novel understanding of computations, namely as functions with inner structure, the latter being described as interaction between two player...

Expand abstract

Actions


Access Document


Files:

Authors


Publisher:
OUCL
Publication date:
2009-12-01
URN:
uuid:ca725f13-4523-4892-8ad1-8cff13637724
Local pid:
cs:3403

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP