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

메뉴 건너뛰기

Information and Computation

Volumn 93, Issue 1, 1991, Pages 55-92

Notions of computation and monads

(1) Moggi, Eugenio a

a UNIVERSITY OF EDINBURGH (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES - THEORY;

CATEGORICAL SEMANTICS OF COMPUTATION; EQUATIONAL LOGIC; LAMBDA CALCULUS; METALANGUAGES; MONADS; PROGRAM EQUIVALENCE;

COMPUTER METATHEORY;

EID: 0026188821 PISSN: 08905401 EISSN: 10902651 Source Type: Journal
DOI: 10.1016/0890-5401(91)90052-4 Document Type: Article

Times cited : (1313)

References (40)

1
- 0004086833
- Springer-Verlag, Berlin/New York
- (1985) Toposes, Triples and Theories
- Barr¹ Wells²

2
- 84913426535
- New foundations for fixpoint computations
- IEEE, New York
- (1990) 4th LICS Conference
- Crole¹ Pitts²

3
- 84913426534
- Partial objects in constructive type theory
- IEEE, New York
- (1987) 2nd LICS Conference
- Constable¹ Smith²

4
- 84913426533
- Computational foundations of basic recursive function theory
- IEEE, New York
- (1987) 3rd LICS Conference
- Constable¹ Smith²

5
- 0024916815
- A syntactic theory of sequential state
- (1989) Theoretical Computer Science , vol.69 , Issue.3
- Felleisen¹ Friedman²

6
- 84913426532
- Reasoning with continuations
- IEEE, New York
- (1986) 1st LICS, Conference
- Felleisen¹ Friedman² Kohlbecker³ Duba⁴

7
- 77956977713
- The logic of topoi
- J. Barwise, Studies in Logic, North-Holland, Amsterdam
- (1977) Handbook of Mathematical Logic , vol.90
- Fourman¹

8
- 0009932281
- Edinburgh LCF: A Mechanized Logic of Computation
- Springer-Verlag, Berlin/New York
- (1979) Lecture Note in Computer Science , vol.78
- Gordon¹ Milner² Wadsworth³

9
- 84913413466
- Dept. of Comp. and Inf. Science, Univ. of Pennsylvania, [To appear in North-Holland Handbook of Theoretical Computer Science]
- (1989) Semantic Domains
- Gunter¹ Scott²

10
- 0025207868
- Higher-order modules and the phase distinction
- Assoc. Comput. Mach., New York
- (1990) 17th POPL.
- Harper¹ Mitchell² Moggi³

11
- 0040395027
- The theory of constructions: Categorical semantics and topos-theoretic models
- Boulder, 1987
- (1987) Proc. AMS Conf. on Categories in Comp. Sci. and Logic
- Hyland¹ Pitts²

12
- 0003137007
- Indexed Categories and their Applications
- Springer-Verlag, Berlin/New York
- (1978) Lecture Notes in Mathematics , vol.661
- Johnstone¹ Pare²

13
- 0003840908
- Cambridge Univ. Press, London/New York
- (1982) Basic Concepts of Enriched Category Theory
- Kelly¹

14
- 34250471092
- Strong functors and monoidal monads
- (1972) Archiv der Mathematik , vol.23
- Kock¹

15
- 77956978426
- Doctrines in categorical logic
- J. Barwise, Studies in Logic, North-Holland, Amsterdam
- (1977) Handbook of Mathematical Logic , vol.90
- Kock¹ Reyes²

16
- 0024035606
- The linear abstract machine
- (1988) Theoretical Computer Science , vol.59
- Lafont¹

17
- 0003248906
- Introduction to Higher-Order Categorical Logic
- Cambridge Univ. Press, London/New York
- (1986) Cambridge Studies in Advanced Mathematics , vol.7
- Lambek¹ Scott²

18
- 0004280509
- Springer-Verlag, Berlin/New York
- (1971) Categories for the Working Mathematician
- MacLane¹

19
- 0013220783
- Algebraic Theories
- Springer-Verlag, Berlin/New York
- (1976) Graduate Texts in Mathematics , vol.26
- Manes¹

20
- 0023994359
- Verification of programs that destructively manipulate data
- (1988) Science of Computer Programming , vol.10
- Mason¹

21
- 0345776085
- Categories of partial morphisms and the partial lambda-calculus
- Guildford 1985, Lecture Notes in Computer Science, Springer-Verlag, Berlin/New York
- (1986) Proceedings Workshop on Category Theory and Computer Programming , vol.240
- Moggi¹

22
- 0012736707
- The Partial Lambda-Calculus
- University of Edinburgh
- (1988) Ph.D. thesis
- Moggi¹

23
- 0003457308
- Edinburgh Univ., Dept. of Comp. Sci, Lecture Notes for course CS 359, Stanford Univ.
- (1989) An Abstract View of Programming Languages
- Moggi¹

24
- 84976090689
- A category-theoretic account of program modules
- Manchester, UK, Sept. 1989, Lecture Notes in Computer Science, Springer-Verlag, Berlin/New York
- (1989) Proceedings of the Conference on Category Theory and Computer Science , vol.389
- Moggi¹

25
- 0038492874
- Computational lambda-calculus and monads
- IEEE, New York
- (1989) 4th LICS Conference
- Moggi¹

26
- 0002267624
- Dept. of Comp. and Inf. Science, University of Pennsylvania, [To appear in Handbook of Theoretical Computer Science, North-Holland, Amsterdam]
- (1989) Denotational Semantics
- Mosses¹

27
- 0039757038
- Springer-Verlag, Berlin/New York
- (1977) First Order Categorial Logic
- Makkai¹ Reyes²

28
- 85034220279
- Programming, transforming, and proving with function abstractions and memories
- EATCS, Monographson Theoretical Computer Science, Springer-Verlag, Berlin/New York
- (1989) 16th Colloquium on Automata, Languages and Programming
- Mason¹ Talcott²

29
- 84913426527
- A sound and complete axiomatization of operational equivalence of programs with memory
- Assoc. Comput. Mach., New York
- (1989) POPL 89
- Mason¹ Talcott²

30
- 18944377121
- Call-by-name call-by-value and the λ-calculus
- (1975) Theoretical Computer Science , vol.1
- Plotkin¹

31
- 0005416707
- Denotational Semantics with Partial Functions
- (1985) Lecture Notes at C.S.L.I. Summer School
- Plotkin¹

32
- 0004132170
- Continuity and Effectiveness in Topoi
- University of Oxford
- (1986) Ph.D. thesis
- Rosolini¹

33
- 0004136282
- Allyn & Bacon, Rockleigh, NO
- (1986) Denotational Semantics: A Methodology for Language Development
- Schmidt¹

34
- 0003817236
- (1969) A type-theoretic alternative to CUCH, ISWIM, OWHY, Oxford Notes
- Scott¹

35
- 0001661753
- Identity and existence in intuitionistic logic
- M.P. Fourman, C.J. Mulvey, D.S. Scott, Lecture Notes in Mathematics, Springer-Verlag, Berlin/New York
- (1979) Applications of Sheaves , vol.753
- Scott¹

36
- 0000281572
- Recating theories of the λ-calculus
- R. Hindley, J. Seldin, Academic Press
- (1980) To H. B. Curry: Essays in Combinatory Logic, lambda Calculus and Formalisms
- Scott¹

37
- 0001500180
- Linear Logic, ∗-autonomous categories and cofree coalgebras
- Boulder 1987
- (1987) Proceedings, AMS Conference on Categories in Computer Science and Logic
- Seely¹

38
- 84913426524
- Syntactic aspects of the non-deterministic lambda calculus
- Washington State University, [Available as Internal Report CS-84-127 of the Computer Science Department]
- (1984) Master's thesis
- Sharma¹

39
- 0000874096
- The category-theoretic solution of recursive domain equations
- (1982) SIAM J. Comput. , vol.11
- Smith¹ Plotkin²

40
- 0000447203
- The formal theory of monads
- (1972) J. Pure Appl. Algebra , vol.2
- Street¹

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