Unification of four versions of program semantics (Q1271849)
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: Unification of four versions of program semantics |
scientific article; zbMATH DE number 1221588
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unification of four versions of program semantics |
scientific article; zbMATH DE number 1221588 |
Statements
Unification of four versions of program semantics (English)
0 references
11 November 1998
0 references
Priestley duality
0 references
Jónsson/Tarski duality
0 references
program semantics
0 references
universal domain
0 references
