Full abstraction, totality and PCF (Q4237906)
From MaRDI portal
scientific article; zbMATH DE number 1275373
Language | Label | Description | Also known as |
---|---|---|---|
English | Full abstraction, totality and PCF |
scientific article; zbMATH DE number 1275373 |
Statements
Full abstraction, totality and PCF (English)
0 references
13 April 1999
0 references
Scott's model
0 references
PCF
0 references