SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Archive for Mathematical Logic

Volumn 38, Issue 1, 1999, Pages 19-60

Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality

(1) Waagbø, Geir a

a UNIVERSITY OF OSLO (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033477885 PISSN: 09335846 EISSN: None Source Type: Journal
DOI: 10.1007/s001530050114 Document Type: Article

Times cited : (5)

References (17)

1
- 0001401013
- Recursive models for constructive set theories
- Beeson, M.: Recursive models for constructive set theories. Ann. Math. Logic 23, 127-178 (1982)
- (1982) Ann. Math. Logic , vol.23 , pp. 127-178
- Beeson, M.¹

2
- 0003653919
- Springer-Verlag
- Beeson, M.: Foundations of constructive mathematics. Springer-Verlag 1985
- (1985) Foundations of Constructive Mathematics
- Beeson, M.¹

3
- 0001770258
- Total sets and objects in domain theory
- Berger, U.: Total sets and objects in domain theory. Ann. Pure App. Logic 60, 91-117 (1993)
- (1993) Ann. Pure App. Logic , vol.60 , pp. 91-117
- Berger, U.¹

4
- 0003586320
- Thesis, University of Edinburgh
- Hofmann, M.: Extensional concepts in intensional type theory. Thesis, University of Edinburgh 1995
- (1995) Extensional Concepts in Intensional Type Theory
- Hofmann, M.¹

5
- 0000425041
- Semantics for some constructors of type theory
- Behara, Fritsch, Lintz (eds.) Walter de Gruyter & Co
- Kristiansen, L., Normann, D.: Semantics for some constructors of type theory. In: Behara, Fritsch, Lintz (eds.) Symposia Gaussiana (pp. 201-224). Walter de Gruyter & Co 1995
- (1995) Symposia Gaussiana , pp. 201-224
- Kristiansen, L.¹ Normann, D.²

6
- 0040309429
- Intuitionistic type theory
- Martin-Löf, P.: Intuitionistic type theory. Bibliopolis 1984
- (1984) Bibliopolis
- Martin-Löf, P.¹

7
- 0003729586
- Clarendon Press
- Nordström, B., Pettersson, K., Smith, J.M.: Programming in Martin-Löf's type theory. Clarendon Press 1990
- (1990) Programming in Martin-löf's Type Theory
- Nordström, B.¹ Pettersson, K.² Smith, J.M.³

8
- 0039125298
- 3E
- Forthcoming in Arch. Math. Logic
- 3E. The Sacks Symposium (Forthcoming in Arch. Math. Logic) 1993
- (1993) The Sacks Symposium
- Normann, D.¹

9
- 0001298706
- A hierarchy of domains with totality but without density
- Cooper, Slaman, Wainer (eds.) Cambridge University Press
- Normann, D.: A hierarchy of domains with totality but without density. In Cooper, Slaman, Wainer (eds.) Computability, enumerability, unsolvability (pp. 233-257). Cambridge University Press 1996
- (1996) Computability, Enumerability, Unsolvability , pp. 233-257
- Normann, D.¹

10
- 38249019741
- Domain interpretations of Martin-Löf's partial type theory
- Palmgren, E., Stoltenberg-Hansen, V.: Domain interpretations of Martin-Löf's partial type theory. Ann. Pure App. Logic 48, 135-196 (1990)
- (1990) Ann. Pure App. Logic , vol.48 , pp. 135-196
- Palmgren, E.¹ Stoltenberg-Hansen, V.²

11
- 38249002681
- An information system interpretation of Martin-Löf's partial type theory with universes
- Palmgren, E.: An information system interpretation of Martin-Löf's partial type theory with universes. Inf. Comp. 106, 26-60 (1993)
- (1993) Inf. Comp. , vol.106 , pp. 26-60
- Palmgren, E.¹

12
- 0001789544
- Remarks on Martin-Löf's partial type theory
- Palmgren, E., Stoltenberg-Hansen, V.: Remarks on Martin-Löf's partial type theory. BIT 32, 70-83 (1992)
- (1992) BIT , vol.32 , pp. 70-83
- Palmgren, E.¹ Stoltenberg-Hansen, V.²

13
- 0003751537
- Cambridge University Press
- Stoltenberg-Hansen, V., Lindström, I., Griffor, E.R.: Mathematical theory of domains. Cambridge University Press 1994
- (1994) Mathematical Theory of Domains
- Stoltenberg-Hansen, V.¹ Lindström, I.² Griffor, E.R.³

14
- 0039717588
- Semantics of type theory
- Streicher, T.: Semantics of type theory. Birkhäuser 1991
- (1991) Birkhäuser
- Streicher, T.¹

15
- 0010948758
- A note on non-extensional operations in connection with continuity and recursiveness
- Troelstra, A.S.: A note on non-extensional operations in connection with continuity and recursiveness. Indag. Math. 39, 455-462 (1977)
- (1977) Indag. Math. , vol.39 , pp. 455-462
- Troelstra, A.S.¹

16
- 0040309428
- North-Holland
- Troelstra A.S., van Dalen, D.: Constructivism in mathematics (Vol. 2). North-Holland 1988
- (1988) Constructivism in Mathematics , vol.2
- Troelstra, A.S.¹ Van Dalen, D.²

17
- 0039717589
- Thesis. Department of Mathematics, University of Oslo
- Waagbø, G.: Thesis. Department of Mathematics, University of Oslo 1997
- (1997)
- Waagbø, G.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.