On the symmetry of sequentiality

This publication has 14 references indexed in Scilit:

• Observable algorithms on concrete data structures
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• New foundations for the geometry of interaction
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Games semantics for linear logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Concrete domains
  Theoretical Computer Science, 1993
• A game semantics for linear logic
  Annals of Pure and Applied Logic, 1992
• Observable sequentiality and full abstraction
  Published by Association for Computing Machinery (ACM) ,1992
• *-Autonomous categories and linear logic
  Mathematical Structures in Computer Science, 1991
• Linear logic
  Theoretical Computer Science, 1987
• Sequential algorithms on concrete data structures
  Theoretical Computer Science, 1982
• Degrees of indeterminacy of games
  Fundamenta Mathematicae, 1972