Chu spaces from the representational viewpoint

Annals of Pure and Applied Logic

Volumn 96, Issue 1-3, 1999, Pages 319-333

  Pratt, Vaughan ^a  

^a Stanford University   (United States)

Author keywords

Chu spaces; Continuity; matrix; Topology; Universal algebra

Indexed keywords

EID: 0033095429     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(98)00043-8     Document Type: Article

References (16)

1. M. Barr, *-Autonomous Categories, Lecture Notes in Mathematics, vol. 752, Springer, Berlin, 1979.
2. M. Barr, *-Autonomous categories and linear logic, Math. Struct. Comp. Sci. 1(2) (1991) 159-178.
3. A. Blass, A category arising in linear logic, complexity theory, and set theory, in: J.-Y. Girard, Y. Lafont, L. Regnier (Eds.), Advances in Linear Logic, Ithaca, NY, June 1995. Cambridge University Press, Cambridge, pp. 61-81.
4. C. Brown, D. Gurr, V. de Paiva, A linear specification language for Petri nets, Technical Report DAIMI PB-363, Computer Science Department, Aarhus University, October 1991.
5. J.-Y. Girard, Linear logic, Theoret. Comput. Sci. 50 (1987) 1-102.
6. V. Gupta, V.R. Pratt, Gates accept concurrent behavior, Proc. 34th Ann. IEEE Symp. on Foundations of Comp. Sci., November 1993, pp. 62-71.
7. Z. Hedrlin, J. Lambek, How comprehensive is the category of semigroups, J. Algebra 11 (1969) 195-212.
8. G.M. Kelly, Basic Concepts of Enriched Category Theory: London Math. Soc. Lecture Notes, vol. 64, Cambridge University Press, Cambridge, 1982.
9. Y. Lafont, T. Streicher, Games semantics for linear logic, Proc. 6th Annual IEEE Symp. on Logic in Computer Science, Amsterdam, July 1991, pp. 43-49.
10. G. Mackey, On infinite dimensional vector spaces, Trans. Amer. Math. Soc. 57 (1945) 155-207.
11. V.R. Pratt, The second calculus of binary relations, Proc. MFCS'93, Lecture Notes in Computer Science, vol. 711, Gdańsk, Poland, 1993, pp. 142-155.
12. V.R. Pratt, The Stone gamut: A coordinatization of mathematics, Logic in Computer Science, IEEE Computer Society, Silver Spring, MD, June 1995, pp. 444-454.
13. V.R. Pratt, Broadening the denotational semantics of linear logic, Special Issue on Linear Logic 96, Electronic Notes of Theoretical Computer Science, vol. 3, Elsevier, Tokyo, 1996.
14. V.R. Pratt, Towards full completeness of the linear logic of Chu spaces, Electronic Notes in Theoretical Computer Science, vol. 6, Elsevier, Pittsburgh, 1997, pp.18. URL: http://www.elsevier.nl/locate/entcs/ volume6.html.
15. A. Pultr, V. Trnková, Combinatorial, Algebraic and Topological Representations of Groups, Semigroups, and Categories, North-Holland, Amsterdam, 1980.
16. V. Trnková, Universal categories, Comment. Math. Univ. Carolinae 7 (1966) 143-206.