Monad as modality

Theoretical Computer Science

Volumn 175, Issue 1, 1997, Pages 29-74

  Kobayashi, Satoshi ^a  

^a RYUKOKU UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; LOGIC PROGRAMMING; THEOREM PROVING;

EQUATIONAL LOGICS; MODAL LOGICS; MOGGI'S SEMANTICS;

FORMAL LOGIC;

EID: 0031094819     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00169-7     Document Type: Article

References (13)

1. G.M. Bierman and V.C.V de Paiva, Intuitionistic necessity revisited, Technical Report CSRP-96-10, School of Computer Science, University of Birmingham, June 1996.
2. S. Brookes and S. Geva, Computational comonads and intensional semantics, in: Applications of Categories in Computer Science, London Mathematical Society Lecture Notes Series, Vol. 177 (1992) 1-44.
3. R. Goldblatt: Logics of Time and Computation, CSLI Lecture Notes No. 7 (University of Chicago Press, Center for the Study of Language and Information, 2nd ed. (revised and expanded), 1992).
4. A. Kock, Strong functors and monoidal monads, Arch. Math. 23 (1972) 113-120.
5. S. MacLane, Categories for the Working Mathematician (Springer, Berlin, 1971).
6. E. Moggi, Computational lambda-calculus and monads, in: Proc. IEEE Symp. on Logic in Computer Science, 1989.
7. E. Moggi, Notions of computation and monads, Inform. Comput. 3 (1991) 55-92.
8. S. Nishizaki, Programs with continuations and linear logic, in: TACS'91: Theoretical Aspects of Computer Software (Springer, Berlin, 1991) 513-531.
9. A.M. Pitts, Evaluation logic, in: G. Birtwistle, ed., IVth Higher Order Workshop, Banff 1990, Workshops in Computing (Springer, Berlin, 1991) 162-189.
10. A.S. Troelstra and D. van Dalen, Constructivism in Mathematics, Vols. I, II (North-Holland, Amsterdam, 1988).
11. P. Wadler, Comprehending monads, in: ACM Conf. on Lisp and Functional Programma, 1990.
12. P. Wadler, The essence of functional programming, in: Proc. 19th ACM Symp. on Principles of Programming Languages, 1992.
13. D. Wijesekera, Constructive modal logics I, Ann. Pure Appl. Logic 50 (1990) 271-301.