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.

Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover

Andrea Asperti, Wilmer Ricciotti, Claudio Sacerdoti Coen, Enrico Tassi. Formal Metatheory of Programming Languages in the Matita Interactive Theorem Prover. Journal of Automated Reasoning, 49(3):427-451, 2012. [doi]

Authors

Andrea Asperti

This author has not been identified. Look up 'Andrea Asperti' in Google

Wilmer Ricciotti

This author has not been identified. Look up 'Wilmer Ricciotti' in Google

Claudio Sacerdoti Coen

This author has not been identified. It may be one of the following persons: Look up 'Claudio Sacerdoti Coen' in Google

Enrico Tassi

This author has not been identified. Look up 'Enrico Tassi' in Google
runs on