Symmetry and Interactivity in Programming (Q4650295)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Symmetry and Interactivity in Programming |
scientific article; zbMATH DE number 2133242
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symmetry and Interactivity in Programming |
scientific article; zbMATH DE number 2133242 |
Statements
Symmetry and Interactivity in Programming (English)
0 references
9 February 2005
0 references
operational semantics
0 references
proof theory
0 references
interactivity
0 references
symmetry
0 references
denotational semantics
0 references
ludics
0 references
