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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 278, Issue 1-2, 2002, Pages 303-321

Premonoidal categories as categories with algebraic structure

(1) Power, John a

a UNIVERSITY OF EDINBURGH (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SEMANTICS; SET THEORY;

PREMONOIDAL CATEGORIES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0037029876 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00340-6 Document Type: Conference Paper

Times cited : (24)

References (20)

1
- 0031119095
- A representable approach to finite nondeterminism
- (1997) Proc. MFPS '94 Theoret. Comput. Sci. , vol.177 , pp. 3-25
- Anderson, S.O.¹ Power, A.J.²

2
- 0001300079
- Two-dimensional monad theory
- (1989) J. Pure Appl. Algebra , vol.59 , pp. 1-41
- Blackwell, R.¹ Kelly, G.M.² Power, A.J.³

3
- 0003411956
- Cambridge University Press Distinguished Dissertations in Computer Science, Cambridge
- (1996) Axiomatic domain theory in categories of partial maps
- Fiore, M.¹

4
- 0003165369
- A universal property of the convolution monoidal structure
- (1986) J. Pure Appl. Algebra , vol.43 , pp. 75-88
- Bin Im Guen¹ Kelly, G.M.²

5
- 0003547267
- Edinburgh University Thesis, ECS-LFCS-97-360 (to appear as a Distinguished Dissertation in Computer Science)
- (1997) Models of sharing graphs: A categorical semantics of let and letrec
- Hasegawa, M.¹

6
- 84951029697
- Game theoretic analysis of call-by-value computation
- Proc. ICALP 97, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1256 , pp. 225-236
- Honda, K.¹ Yoshida, N.²

7
- 0003233346
- Basic concepts of enriched category theory
- Cambridge University Press, Cambridge
- (1982) London Mathematical Society Lecture Notes Series , vol.64
- Kelly, G.M.¹

8
- 43949165312
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- (1993) J. Pure Appl. Algebra , vol.89 , pp. 163-179
- Kelly, G.M.¹ Power, A.J.²

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

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

11
- 0029178411
- Control structures
- (1995) Proc. LICS , vol.95 , pp. 188-198
- Mifsud, A.¹ Milner, R.² Power, A.J.³

12
- 0001461275
- Why tricategories?
- (1995) Inform. Comput. , vol.120 , pp. 251-262
- Power, A.J.¹

13
- 84955590477
- Elementary control structures
- Proc. CONCUR '96: Concurrency Theory, Springer, Berlin
- (1996) Lecture Notes in Computer Science , pp. 115-130
- Power, A.J.¹

14
- 0008934663
- Modularity in denotational semantics
- Proc. MFPS 97
- (1997) Electronic Notes in Theoretical Computer Science , vol.6
- Power, A.J.¹

15
- 85023129707
- Draft
- (1995) On the categorical semantics of types
- Power, A.J.¹ Robinson, E.P.²

16
- 84887466617
- Premonoidal categories and notions of computation
- Proc. LDPL '96
- (1997) Math Struct. Comput. Sci. , vol.7 , pp. 453-468
- Power, A.J.¹ Robinson, E.P.²

17
- 84957675380
- Environments, continuation semantics, and indexed categories
- Proc. Theoretical Aspects of Computer Science, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1281
- Power, A.J.¹ Thielecke, H.²

18
- 84878600107
- Variations on algebra: Monadicity and generalisations of algebraic theories
- to appear
- Math. Struct. Comput. Sci.
- Robinson, E.¹

19
- 4243813831
- Continuation passing style and self-adjointness
- Proc. 2nd ACM SIGPLAN Workshop on Continuations
- (1996) BRICS Notes Series , vol.NS-96-13
- Thielecke, H.¹

20
- 0008882289
- Continuation semantics and self adjointness
- Proc. MFPS 97
- (1997) Electronic Notes in Theoretical Computer Science , vol.6
- Thielecke, H.¹

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