Game-theoretic analysis of call-by-value computation

This publication has 13 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Kripke Logical Relations and PCF
  Information and Computation, 1995
• Games and full completeness for multiplicative linear logic
  The Journal of Symbolic Logic, 1994
• Concrete domains
  Theoretical Computer Science, 1993
• Functions as processes
  Mathematical Structures in Computer Science, 1992
• A game semantics for linear logic
  Annals of Pure and Applied Logic, 1992
• Notions of computation and monads
  Information and Computation, 1991
• Partial morphisms in categories of effective objects
  Information and Computation, 1988
• Linear logic
  Theoretical Computer Science, 1987
• Sequential algorithms on concrete data structures
  Theoretical Computer Science, 1982