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.

Consistency of the theory of contexts

Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann. Consistency of the theory of contexts. Journal of Functional Programming, 16(3):327-372, 2006. [doi]

Authors

Anna Bucalo

This author has not been identified. Look up 'Anna Bucalo' in Google

Furio Honsell

This author has not been identified. Look up 'Furio Honsell' in Google

Marino Miculan

This author has not been identified. Look up 'Marino Miculan' in Google

Ivan Scagnetto

This author has not been identified. Look up 'Ivan Scagnetto' in Google

Martin Hofmann

This author has not been identified. Look up 'Martin Hofmann' in Google
runs on