The continuous functionals of finite types over the reals

Electronic Notes in Theoretical Computer Science

Volumn 35, Issue , 2000, Pages 163-173

  Normann, Dag ^a  

^a UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; CONVERGENCE OF NUMERICAL METHODS; FUNCTION EVALUATION; LINEAR ALGEBRA; MATHEMATICAL OPERATORS; SET THEORY; THEOREM PROVING; TOPOLOGY;

ALGEBRAIC DOMAINS; CONTINUOUS FUNCTIONAL; PARTIAL FUNCTIONALS; PRODUCT TOPOLOGY;

FUNCTIONS;

EID: 2442438533     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80738-8     Document Type: Conference Paper

References (9)

1. Berger, U., "Totale Objecte und Mengen in der Bereichtheorie" (in German), Thesis, München 1990
2. Berger, U., Annals-paper on totality, preprint.
3. Hyland J.M.E. Filter spaces and continuous functionals. Annals of Mathematical Logic. 16:1979;101-143
4. Kuratowski, C., "Topologie," Vol. 1, Warsawa (1952).
5. Longo G., Moggi E. The hereditarily partial effective functionals and theory in higher types. Journal of Symbolic Logic. 49:1984;1319-1332
6. Normann, D. "Recursion on the countable functionals," Lecture Notes in Methematics 811 (1980) Springer-Verlag.
7. Normann, D., Categories of domains with totality, Oslo preprint in Methematics No 4 (1997). Revised version available on http://www.math.uio.no/ ~dnormann/Caterories.ps.
8. Scarpellini B. A model for bar recursion of higher types. Comp. Math. 23:1971;123-153
9. Stoltenberg-Hansen V., Lindström I., Griffor E.R. "Mathematical Theory of Domains," 1994;Cambridge University Press