External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Innocent Game Semantics via Intersection Type Assignment Systems

Pietro Di Gianantonio, Marina Lenisa. Innocent Game Semantics via Intersection Type Assignment Systems. In Simona Ronchi Della Rocca, editor, Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. Volume 23 of LIPIcs, pages 231-247, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

Authors

Pietro Di Gianantonio

This author has not been identified. Look up 'Pietro Di Gianantonio' in Google

Marina Lenisa

This author has not been identified. Look up 'Marina Lenisa' in Google
runs on