The sequentially realizable functionals (Q1849853): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/s0168-0072(01)00110-5 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1985955425 / rank | |||
Normal rank | |||
Latest revision as of 09:56, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The sequentially realizable functionals |
scientific article |
Statements
The sequentially realizable functionals (English)
0 references
2 December 2002
0 references
An in-depth look at a notion of higher-type sequential functional that extends the standard PCF version. This notion first arose in work of Bucciarelli and Ehrhard. The author provides various characterizations of the type structures that result and proves that each finite type is a retract of the pure type \(\overline 2\).
0 references
higher-type computability
0 references
sequentiality
0 references
finite type structures
0 references
PCF
0 references
realizability
0 references
strong stability
0 references
