Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)

Mathematical Structures in Computer Science

Volumn 10, Issue 2, 2000, Pages 231-259

  Hamano, Masahiro ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347142361     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129599003072     Document Type: Article

References (30)

1. Abramsky, S. and Jagadeesan, R. (1994) Games and Full Completeness for Multiplicative Linear Logic. Journal of Symbolic Logic 59 543–574.
2. Bainbridge, E.S., Freyd, P.J., Scedrov, A. and Scott, P.J. (1990) Functorial Polymorphism. Theoretical Computer Science 70 35–64. Bainbridge, E. S., Freyd, P.J., Scedrov, A. and Scott, P.J. (1990) Functorial Polymorphism: Prelimi-nary Report. In: Huet, G. (ed.) Logical Foundation of Functional Programming, Addison Wesley 315–327.
3. Barr, M. (1976) Duality of Vector Spaces. Cahiers de Top. et Geom. Diff. 17 3–14.
4. Barr, M. (1979) *-autonomous Categories. Springer-Verlag Lecture Notes in Mathematics 752.
5. Barr, M. (1977) A Closed Category of Reflexive Topological Abelian Groups. Cahiers de Top. et Geom. Diff. 18 221–248.
6. Barr, M. (1996) *-autonomous Categories, Revisited. Journal of Pure and Applied Algebra 111 1–20.
7. Barr, M. (1999) *-autonomous Categories: Once More Around the Track. Theory and Application of Categories. A special volume in honour of Joachim Lambek’s 75th birthday 6 5–24.
8. Blute, R. (1993) Linear Logic Coherence and Dinaturality, Theoretical Computer Science 115 3–41.
9. Blute, R.F. and Scott, P.J. (1996) Linear Lauchli Semantics. Annals of Pure Appl. Logic 77 101–142.
10. Blute, R. F. and Scott, P.J. (1999) The Shuffle Hopf Algebra and Noncommutative Full Complete-ness. Journal of Symbolic Logic 63 1413–1436.
11. Borceux, F. (1994) Handbook of Categorical Algebra, Cambridge University Press.
12. Cockett, J. R. B. and Seely, R. A. G. (1997) Weakly Distributive Categories. Journal of Pure and Applied Algebra 114 133–173.
13. Cockett, J. R. B. and Seely, R. A. G. (1997) Proof Theory for Full Intuitionistic Linear Logic, Bilinear Logic, and Mix Categories. Theory and Application of Categories 3 85–131.
14. Dikranjan, D.N., Prodanov, I. R. and Stoyanov, L. N. (1989) Topological Groups (Characters, Dual-ities and Minimal Group Topologies), Marcel Dekker 130.
15. Fuchs, L. (1970) Infinite Abelian Groups, Academic Press.
16. Girard, J.-Y. (1995) Linear Logic: Its Syntax and Semantics. In: Girard, Lafont and Regnier (eds.) Advances in Linear Logic, London Mathematical Society Lecture Note Series.
17. Girard, J.-Y. (1999) Coherent Banach Spaces. In : Girard, Okada and Scedrov (eds.) Theoretical Computer Science (A Special Issue on Linear Logic (part I)) 227 275–297.
18. Girard, J.-Y., Scedrov, A. and Scott, P.J. (1992) Normal Forms and Cut-Free Proofs as Natural Transformations. In: Moschovakis, Y. (ed.) Logic from Computer Science 21, Springer-Verlag 217–241.
19. Hamano, M. (1998) Z-modules and Full Completeness of Multiplicative Linear Logic. (Submitted)
20. Hyland, M. and Ong, L., (1993) Full Completeness for Multiplicative Linear Logic without the Mix-rule. Available from ftp://ftp.comlab.ox.ac.uk/pub/Documents/techpapers/Luke.Ong.
21. Kaplan, S. (1948) Extension of the Pontrjagin Duality I: Infinite Products. Duke Math. J. 15 649–658.
22. Kaplan, S. (1950) Extension of the Pontrjagin Duality II: Direct and Inverse Sequence. Duke Math. J. 17 419–435.
23. Läuchli, H. (1970) An Abstract Notion of Realizability for which Intuitionistic Predicate Calculus is Complete. In: Kino, Myhill and Vesley (eds.) Intuitionism and Proof Theory, North Holland.
24. Loader, R. (1994) Models of Lambda Calculi and Linear Logic: Structural, Equational and Proof-Theoretic Characterisation, Ph. D. Thesis, Oxford University.
25. Mac Lane, S. (1971) Categories for the Working Mathematician, Graduate Texts in Mathematics 5, Springer-Verlag.
26. Morris, S. A. (1977) Pontryagin Duality and the Structure of Locally Compact Abelian Groups, Fondon Mathematical Society Lecture Note Series 29.
27. Pontrjagin, L. S. (1986) Topological Groups. L. S. Pontrjagin Selected Works Volume 2, Gordon and Breach Scientific Publishers.
28. Pratt, V. (1997) Towards Full Completeness of the Linear Logic of Chu Spaces. Electronic Notes in Theoretical Computer Science 6. Seely, R.A. G. Linear Logic, *-autonomous category and cofree coalgebras, Categories in Computer Science and Logic. In: Gray, J. and Scedrov, A. (eds.) Contemporary Mathematics 92, Amer. Math. Soc. 371–382.
29. Tan, A. (1997) Full Completeness for Models of Linear Logic, Ph. D. Thesis, Cambridge University.
30. Troelstra, A. (1992) Lectures on Linear Logic. CSLI Lecture Notes 29.