Is game semantics necessary?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 832 LNCS, Issue , 1994, Pages 66-77

  Blass, Andreas ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

BASIC CONCEPTS; GAME SEMANTICS; LINEAR LOGIC;

COMPUTER CIRCUITS;

EID: 56549100439     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0049324     Document Type: Conference Paper

References (14)

1. S. Abramsky and R. Jagadeesan, Games and full completeness for multiplicative linear logic, J. Symbolic Logic (to appear).
2. A. Blass, A game semantics for linear logic Ann. Pure Appl. Logic 56 (1992), 183-220.
3. P.-L. Curien, Concrete data structures, sequential algorithms, and linear logic, electronic posting on Types network (1992).
4. M. Dummett, Elements of Intuiiionism, Oxford University Press, 1977.
5. D. Gale and F. M. Stewart, Infinite games with perfect information, Ann. Math. Studies 28 (1953), 245-266.
6. J.-Y. Girard, Linear logic, Theoret. Comp. Sci. 50 (1987), 1-102.
7. J.-Y. Girard. Towards a geometry of interaction, Categories in Computer Science and Logic (J. Gray and A. Scedrov, eds.), Con temp. Math. 92, Amer. Math. Soc, 1989, pp. 69-108.
8. J.-Y. Girard, Y Lafont, and P. Taylor, Proofs and Types, Cambridge Tracts in Theoretical Computer Science 7, Cambridge University Press, 1989.
9. W. A. Howard, The formulae-as-types notion of construction, To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism (J. R. Hindley and J. P. Seldin, eds.), Academic Press, 1980, pp. 479-490.
10. J. M. E. Hyiand and C.-H. L. Ong, Fair games and full completeness for multiplicative linear logic without the MIX-rule, preprint (1993).
11. F. Lamarche, Sequentiality, games and linear logic, preprint (1992).
12. P. Lorenzen, Ein dialogisches Konstruktivitätskriterium, Infinitistic Methods, PWN, 1961, pp. 193-200.
13. H. Simmons, Logic and Computation — Taking the Curry-Howard Correspondence Seriously, Lecture notes distributed at the European Summer Meeting of the Association for Symbolic Logic, Keeie, England, 1993.
14. A. S. Troelstra and D. van Dalen, Constructivism in Mathematics — An Introduction, Vol. J, North-Holland, 1988.