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.

Formalizing Program Equivalences in Dependent Type Theory

Giorgio Marabelli, Alberto Momigliano. Formalizing Program Equivalences in Dependent Type Theory. In Alessandra Cherubini, Nicoletta Sabadini, Simone Tini, editors, Proceedings of the 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019. Volume 2504 of CEUR Workshop Proceedings, pages 204-209, CEUR-WS.org, 2019. [doi]

Authors

Giorgio Marabelli

This author has not been identified. Look up 'Giorgio Marabelli' in Google

Alberto Momigliano

This author has not been identified. Look up 'Alberto Momigliano' in Google
runs on