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 Website File Size: 236,34 KBShare Document on Facebook
|