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
Authors
Bibliographic Details
- Publisher:
- OUCL
- Publication date:
- 2009-12-01
Item Description
- UUID:
-
uuid:ca725f13-4523-4892-8ad1-8cff13637724
- Local pid:
- cs:3403
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2009
If you are the owner of this record, you can report an update to it here: Report update to this record