Back to Results
First PageMeta Content
Theoretical 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 doma
Add to Reading List

Document Date: 2003-02-27 10:19:48


Open Document

File Size: 236,34 KB

Share Result on Facebook