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.

CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo

Mathieu Boespflug, Guillaume Burel. CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo. In David Pichardie, Tjark Weber, editors, Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, PxTP 2012, Manchester, UK, June 30, 2012. Volume 878 of CEUR Workshop Proceedings, pages 44-50, CEUR-WS.org, 2012. [doi]

Authors

Mathieu Boespflug

This author has not been identified. Look up 'Mathieu Boespflug' in Google

Guillaume Burel

This author has not been identified. Look up 'Guillaume Burel' in Google
runs on