External Links

Cite Key

Statistics

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

PDF

Tags

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.

Functional Interpretations of Intuitionistic Linear Logic

Gilda Ferreira, Paulo Oliva. Functional Interpretations of Intuitionistic Linear Logic. In Erich Grädel, Reinhard Kahle, editors, Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings. Volume 5771 of Lecture Notes in Computer Science, pages 3-19, Springer, 2009. [doi]

Authors

Gilda Ferreira

This author has not been identified. Look up 'Gilda Ferreira' in Google

Paulo Oliva

This author has not been identified. Look up 'Paulo Oliva' in Google
runs on