The sequentially realizable functionals
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\).
scientific article; zbMATH DE number 1838858