Closing the gap between the continuous functionals and recursion in 3E

Archive for Mathematical Logic

Volumn 36, Issue 4-5, 1997, Pages 269-287

  Normann, D ^a  

^a UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031285144     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530050065     Document Type: Article

References (20)

1. Berger, U.: Totale Objekte und Mengen in der Bereichteorie, Thesis der Ludwig-Maximillians-Universität München (1990)
2. Berger, U.: Total sets and objects in domain theory. Annals of pure and applied logic 60 (1993) 91-117
3. Berger, U.: A density theorem for dependent products and sums Draft manuscript 1995.
4. Ershov, Y.L.: Maximal and everywhere defined functionals, Algebra and logic 13 (1974) 374-397
5. Kleene, S.C.: Recursion in functionals and quantifiers of finite types I, T.A.M.S 91 (1959) 1-52
6. Kleene, S.C.: Countable functionals, in A. Heyting (ed) Constructivity in mathematics, North Holland (1959) 81-100
7. Kreisel, G Interpretation of analysis by means of functions in finite types, In A. Heyting (ed.): Constructivity in mathematics, North Holland (1959) pp. 101-128
8. Kristiansen, L.: Totality in qualitative domains, thesis, University of Oslo (1993)
9. Kristiansen, L. and Normann, D.: Interpreting higher computations as types with totality, Archive for Mathematical Logic 33 (1994) 243-259
10. Kristiansen, L. and Normann, D.: Semantics for some constructors of type theory, in Behara, Fritsch and Lintz (eds.) Symposia Gaussiana, Conf. A, Walter de Gruyter & Co (1995) 201-224
11. Kristiansen, L. and Normann, D.: Totality in inductivly defined types, Oslo Preprint Series in Mathematics No 4 (1995)
12. Martin-Löf, P. Intuitionistic Type theory Bibliopolis (1984)
13. Normann, D.: Kleene spaces, In Ferro & al. (eds.) Logic Colloquium '88, Elsevier (1989) 91-109
14. Sacks, G. E.: Higher Recursion Theory, Springer Verlag (1990)
15. Scott, D.: Models for the λ-Calculus, Unpublished (1969)
16. Stoltenberg-Hansen, V. Lindström, I. and Griffor, E.R.: Mathematical Theory of Domains, Cambridge University Press (1994)
17. Palmgren, E. and Stoltenberg-Hansen, V.: Domain interpretations of Martin-Löf's partial type theory, Annals of pure and applied Logic 48 (1990) 135-196
18. Palmgren, E. and Stoltenberg-Hansen, V.: Remarks on Martin-Löf's partial type theory, BIT 32 (1992) 70-83
19. Sacks, G. E.: Higher recursion theory, Springer Verlag (1990)
20. Waagbø, G.: Denotational Semantics for Martin-Löf Type Theory Using a Hierarchy of Domains with Totality Draft manuscript (1995)