Equationally fully abstract models of PCF (Q5887519)
From MaRDI portal
scientific article; zbMATH DE number 7673905
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equationally fully abstract models of PCF |
scientific article; zbMATH DE number 7673905 |
Statements
Equationally fully abstract models of PCF (English)
0 references
12 April 2023
0 references
abstract model
0 references
stable function
0 references
continuous homomorphism
0 references
unique morphism
0 references
terminal object
0 references
