An approach to object semantics based on terminal co-algebras (Q4856658)
From MaRDI portal
scientific article; zbMATH DE number 822786
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An approach to object semantics based on terminal co-algebras |
scientific article; zbMATH DE number 822786 |
Statements
An approach to object semantics based on terminal co-algebras (English)
0 references
22 January 1997
0 references
terminal semantics
0 references
terminal coalgebras
0 references
object-oriented programming
0 references
object type semantics
0 references
concurrent objects
0 references
