𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The realization of dimension functions. III

✍ Scribed by A. N. Dranishnikov

Publisher
SP MAIK Nauka/Interperiodica
Year
1991
Tongue
English
Weight
273 KB
Volume
32
Category
Article
ISSN
0037-4466

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Realization of dimension functions. II
Realization of dimension functions. II
✍ A. N. Dranishnikov πŸ“‚ Article πŸ“… 1989 πŸ› SP MAIK Nauka/Interperiodica 🌐 English βš– 574 KB
A realization of dimension functions. I
A realization of dimension functions. I
✍ A. N. Dranishnikov πŸ“‚ Article πŸ“… 1988 πŸ› SP MAIK Nauka/Interperiodica 🌐 English βš– 574 KB
Realization of the structure functions
Realization of the structure functions
✍ P. Ya. Grushko πŸ“‚ Article πŸ“… 1981 πŸ› SP MAIK Nauka/Interperiodica 🌐 English βš– 327 KB
The sequentially realizable functionals
The sequentially realizable functionals
✍ John Longley πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 598 KB

We consider a notion of sequential functional of ΓΏnite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" and "e ective" partial type structures arising from this notion of sequentiality. The full type structure coincides with that given by the