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.

From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic

Jeremy E. Dawson, Ranald Clouston, Rajeev Goré, Alwen Tiu. From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic. In Josep Diaz, Ivan Lanese, Davide Sangiorgi, editors, Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings. Volume 8705 of Lecture Notes in Computer Science, pages 250-264, Springer, 2014. [doi]

Authors

Jeremy E. Dawson

This author has not been identified. Look up 'Jeremy E. Dawson' in Google

Ranald Clouston

This author has not been identified. Look up 'Ranald Clouston' in Google

Rajeev Goré

This author has not been identified. Look up 'Rajeev Goré' in Google

Alwen Tiu

This author has not been identified. Look up 'Alwen Tiu' in Google
runs on