βη-complete models for System <i>F</i> (Q4405696)
From MaRDI portal
scientific article; zbMATH DE number 1933115
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | βη-complete models for System <i>F</i> |
scientific article; zbMATH DE number 1933115 |
Statements
βη-complete models for System <i>F</i> (English)
0 references
8 February 2004
0 references
system \(F\)
0 references
\(\beta\eta\)-completeness
0 references
polymorphic maps
0 references
Scott continuous maps
0 references
