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.

A By-Level Analysis of Multiplicative Exponential Linear Logic

Marco Gaboardi, Luca Roversi, Luca Vercelli. A By-Level Analysis of Multiplicative Exponential Linear Logic. In Rastislav Královic, Damian Niwinski, editors, Mathematical Foundations of Computer Science 2009, 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings. Volume 5734 of Lecture Notes in Computer Science, pages 344-355, Springer, 2009. [doi]

Authors

Marco Gaboardi

This author has not been identified. Look up 'Marco Gaboardi' in Google

Luca Roversi

This author has not been identified. Look up 'Luca Roversi' in Google

Luca Vercelli

This author has not been identified. Look up 'Luca Vercelli' in Google
runs on