First Page | Document Content | |
---|---|---|
Date: 2003-02-27 10:19:48Theoretical computer science Logic in computer science Programming language semantics Models of computation Game theory Semantics Denotational semantics Game semantics Determinacy Samson Abramsky Operational semantics | Semantics of Interaction Samson Abramsky Abstract The “classical” paradigm for denotational semantics models data types as domains, i.e. structured sets of some kind, and programs as (suitable) functions between domaAdd to Reading ListSource URL: www.cs.ox.ac.ukDownload Document from Source WebsiteFile Size: 236,34 KBShare Document on Facebook |
Innocent game semantics Russ Harmer CNRS & PPS, P7 August 2,DocID: 1vpf9 - View Document | |
A Discussion Game for Grounded Semantics Martin Caminada University of Aberdeen Abstract. We introduce an argument-based discussion game where the ability to win the game for a particular argument coincides with the arguDocID: 1uOAh - View Document | |
Applications of Game Semantics: From Program Analysis to Hardware Synthesis Dan R. Ghica School of Computer Science University of Birmingham, UKDocID: 1tETx - View Document | |
Game Semantics for Paraconsistent Logics Can BA¸ SKENT Department of Computer Science, University of BathDocID: 1tpGP - View Document | |
Game Semantics for some Non-Classical Logics Can BAS ¸ KENT INRIA, Nancy - FranceDocID: 1tocB - View Document |