Categorical logic of names and abstraction in action calculi

Mathematical Structures in Computer Science

Volumn 7, Issue 6, 1997, Pages 619-637

  Pavlovic, Dusk ^a  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85013569711     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129597002296     Document Type: Article

References (32)

1. Abramski, S. et al. (1995) Interaction categories and the foundations of the typed concurrent pro-gramming. In: Broy, M. (ed.), Deductive Program Design: Proceedings of the 1994 Marktoberdorf International Summer School, Springer-Verlag. (Also on URL http://theory.doc.ic.ac.uk.)
2. Carboni A. and Walters, R. F. C. (1987) Cartesian bicategories I. J. Pure Appl. Algebra 49 11–32.
3. Curien, P.-L. (1986) Combinateurs Categoriques, Algorithmes Sequentiels et Programmation Applica-tive, These de Doctorat detat. Univ. Paris VII. (Updated English version: (1993) Categorical Combinators, Sequential Algorithms and Functional Programming. Progress in Theor. Comp. Sci., Birkhauser.)
4. Curry, H. B. (1930) Grundlagen der Kombinatorischen Logik. Amer. J. Math. 52 509–536, 789–834.
5. Curry, H. B. et al. (1968) Combinatory Logic, Vol. 1., Studies in Logic and Found. of Math., North-Holland.
6. Freyd, P. J. and Scedrov, A. (1990) Categories, Allegories, North-Holland Mathematical Library 39, North-Holland.
7. Gardner, P. (1995) A name-free account of action calculi. Electronic Notes in Theor. Comp. Sci. 1 (URL http://www.elsevier.nl:80/mcs/tcs/pc/).
8. Hermida, C. and Power, J. (1995) Fibrational Control Structures. Proceedings of CONCUR ’95. Springer-Verlag Lecture Notes in Computer Science 962 117–129.
9. Kock, A. (1970) Monads on Symmetric Monoidal Closed categories. Archiv der Mathematik 21 1–10.
10. Lambek, J. (1974) Functional completeness of cartesian categories. Ann. Math. Logic 6 259–292.
11. Lambek, J. (1980) From types to sets. Adv. in Math. 36 113–164.
12. Lambek, J. and Rattray, B. A. (1978) Functional completeness and Stone duality. Studies in Foundations and Combinatorics, Advances in Math. Suppl. Studies 1 1–9.
13. Lambek, J. and Scott, P. J. (1986) Introduction to higher order categorical logic, Cambridge Stud. Adv. Math. 7, Cambridge University Press.
14. Lawvere, F. W. (1963) Functorial Semantics of Algebraic Theories, Thesis, Columbia University.
15. Mac Lane, S. (1971) Categories for the Working Mathematician, Graduate Texts in Mathematics 5, Springer-Verlag.
16. Mifsud, A. et al. (1995) Control Structures. Proceedings of LICS ’95. IEEE.
17. Milner, R. (1989) Communication and Concurrency, Prentice-Hall.
18. Milner, R. (1993a) Action Calculi and the 7i-Calculus. In: Proceedings of the NATO Summer School on Logic and Computation, Springer-Verlag.
19. Milner, R. (1993b) Action calculi, or syntactic action structures. In: Proceedings of MFCS ’93. Springer-Verlag Lecture Notes in Computer Science 711 105–121.
20. Milner, R. (1994a) Action Calculi III. At URL http://theory.doc.ic.ac.uk.
21. Milner, R. (1994b) Action Calculi IV. At URL http://theory.doc.ic.ac.uk.
22. Milner, R. et al. (1992) A calculus of mobile processes I and II. Inform, and Comput. 100 1–77.
23. Moggi, E. (1993) Notions of computation as monads. Inform, and Comput. 93 55–92.
24. Meseguer, J. and Montanari, U. (1990) Petri Nets are Monoids. Inform, and Comput. 88 105–155.
25. Pavlovic, D. (1995) Categorical logic of concurrency and interaction I: synchronous processes. In: Henkin, C. L. et al. (eds.) Theory and Formal Methods of Computing 1994, World Scientific 105–141.
26. Pavlovie D. (1996a) Maps II: Chasing diagrams in categorical proof theory. J. of the IGPL 4 (2) 1–36. (Also at URL http://www.mpi-sb.mpg.de/igpl/Journal.)
27. Pavlovie D. (1996b) Action calculi and computational monads (draft).
28. Power, J. (1996) Elementary Control Structures. To appear in the proceedings of CONCUR ’96.
29. Power, J. and Robinson, E. (1995) Premonoidal categories (manuscript).
30. Pratt, V. (1995) Chu Spaces and their Interpretation as Concurrent Objects. In: van Leeuwen, J. (ed.) Computer Science Today: Recent Trends and Developments. Springer-Verlag Lecture Notes in Computer Science 1000 392–405.
31. Schonfinkel, M. (1924) Ober die Bausteine der Mathematischen Logik. Math. Annalen 92 305–316.
32. Scott, D. (1980) Relating Theories of the 2-Calculus. In: Seldin, J. P. and Hindley, J. R. (eds.) To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Academic Press 403–450.