Total objects in inductively defined types

Archive for Mathematical Logic

Volumn 36, Issue 6, 1997, Pages 405-436

  Kristiansen, Lill ^a   Normann, Dag ^a  

^a UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031285720     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001530050073     Document Type: Article

References (17)

1. Barwise K.J., Candy R.O., Moschovakis Y.N.: The next admissible set. J. Symb. Logic 36, 108-120 (1971)
2. Berger U.: Totale Objekte und Mengen in der Bereichstheorie. Thesis, Ludwig-Maximilians-Universität München (1990)
3. Berger U.: Total sets and objects in domain theory. Ann. Pure Appl. Logic 60, 91-117 (1993)
4. Berger U.: Density for dependent types with totality. Draft paper (1995)
5. Girard J.-Y.: The system F of variable types fifteen years later. Theor. Comp. Sci. 45, 159-192 (1986)
6. Girard J.-Y.: Linear Logic. Theor. Comp. Sci. 46, 1-102 (1986)
7. Kristiansen L.: Totality in qualitative domains. Thesis, University of Oslo (1993)
8. Kristiansen L., Normann D.: Semantics for some type constructors. In: Behara, Fritsch, Lintz (eds.) Symposia Gaussiana. Conf. A, pp. 201-224. Amsterdam: de Gruyter 1995
9. Loader R.: A model of Linear Logic based on totality. Circulated manuscript (1993)
10. Normann D.: Set Recursion. In: Fenstad, Gandy, Sacks (eds.) Generalised Recursion Theory II, pp. 303-320. Amsterdam: North Holland 1978
11. Normann D.: Formalizing the notion of total information. In: Petkov P.P. (ed.) Mathematical Logic, pp. 67-94. New York: Plenum Press 1990
12. Normann D.: Wellfounded and non-wellfounded types of continuous functionals. Oslo Preprint Series in Mathematics No 6 (1992)
13. 3E. In: The proceedings of the Sacks conference 1993. To appear
14. Normann D.: A hierarchy of Domains with Totality, but without Density. In: Cooper, Slaman, Wainer (eds.) Computability, Enumerability, Unsolvability, pp. 233-257. Cambridge: Cambridge University Press 1996
15. Normann D.: Representation theorems for transfinite computability and definability. In preparation
16. Palmgren E., Stoltenberg-Hansen V.: Remarks on Martin-Löfs partial type theory. BIT 32, 70-83 (1992)
17. Stoltenberg-Hansen V., Lindström I., Griffor E.R.: Mathematical theory of domains. Cambridge Tracts Theor. Comp. Sci. 22 (1994)