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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 275, Issue 1-2, 2002, Pages 79-109

Taut monads and T0-spaces

(1) Manes, Ernest G a

a UNIVERSITY OF MASSACHUSETTS (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; THEOREM PROVING; TOPOLOGY; VECTORS;

RELATIONAL MODELS;

COMPUTER SCIENCE;

EID: 0037187410 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00415-1 Document Type: Article

Times cited : (32)

References (23)

1
- 0004154231
- Wiley, New York
- (1990) Abstract and Concrete Categories
- Adámek, J.¹ Herrlich, H.² Strecker, G.³

2
- 0002894090
- Relational algebras
- Springer, Berlin
- (1970) Lecture Notes in Mathematics , vol.137 , pp. 39-55
- Barr, M.¹

3
- 0003048561
- An introduction to the theory of lists
- M. Broy (Ed.), Logic of Programming and Calculi of Discrete Design, Springer, Berlin
- (1987) Nato ASI Series F , vol.36 , pp. 3-42
- Bird, R.¹

4
- 0003995687
- Prentice-Hall, Europe
- (1998) Algebra of Programming
- Bird, R.¹ De Moor, O.²

5
- 0006470236
- Filter monads, continuous lattices and closure systems
- (1975) Canad. J. Math. , vol.27 , pp. 50-59
- Day, A.¹

6
- 84972525391
- Adjoint functors and triples
- (1965) Illinois J. Math. , vol.9 , pp. 381-398
- Eilenberg, S.¹ Moore, J.C.²

7
- 77956457690
- Injective spaces via the filter monad
- (1997) Topology Proc. , vol.22 , pp. 97-110
- Escardó, M.H.¹

8
- 0001897066
- Properly injective spaces and function spaces
- (1998) Topology Appl. , vol.89 , pp. 75-120
- Escardó, M.H.¹

9
- 4243364115
- MFPS XV Tulane, extended abstract, April
- (1999) Semantic domains, injective spaces and monads
- Escardó, M.H.¹ Flagg, R.C.²

10
- 0004011095
- Springer, Berlin
- (1980) A Compendium of Continuous Lattices
- Giertz, G.¹

11
- 0004072372
- Cambridge University Press, Cambridge
- (1982) Stone Spaces
- Johnstone, P.J.¹

12
- 25044434443
- Dissertation, Department of Mathematics, University of Cape Town
- (1974) Protoreflections, relational algebras and topology
- Kamnitzer, S.H.¹

13
- 0006406818
- Mathematisk Institute, Aarhus Universitet
- (1969) On Double-dualization Monads, Lecture Notes , vol.38
- Kock, A.¹

14
- 0002083775
- Monads for which structures are adjoint to units (version 3)
- (1995) J. Pure Appl. Algebra , vol.104 , pp. 41-59
- Kock, A.¹

15
- 0004165167
- Dissertation, Department of Mathematics, Columbia University
- (1963) Functorial semantics of algebraic theories
- Lawvere, F.W.¹

16
- 0003969139
- Springer, Berlin
- (1971) Categories for the Working Mathematician
- Mac Lane, S.¹

17
- 0002027655
- Compact Hausdorff objects
- (1974) Gen. Topology Appl. , vol.4 , pp. 341-360
- Manes, E.G.¹

18
- 0003741322
- Springer, Berlin
- (1976) Algebraic Theories
- Manes, E.G.¹

19
- 0006405081
- A class of fuzzy theories
- (1982) J. Math. Anal. Appl. , vol.85 , pp. 409-451
- Manes, E.G.¹

20
- 85016709730
- Implementing collection classes with monads
- (1998) Math. Struct. Comput. Sci. , vol.8 , pp. 231-276
- Manes, E.G.¹

21
- 0026188821
- Notions of computation and monads
- (1991) Inform. and Comput. , vol.93 , pp. 55-92
- Moggi, E.¹

22
- 0001995203
- Continuous lattices
- Springer, Berlin
- (1972) Lecture Notes in Mathematics , vol.274 , pp. 97-136
- Scott, D.S.¹

23
- 15844374372
- Algebraic theories of continuous lattices
- Springer, Berlin
- (1981) Lecture Notes in Mathematics , vol.871 , pp. 390-413
- Wyler, O.¹

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