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.

Building Proofs by Analogy via the Curry-Horward Isomorphism

Thierry Boy de la Tour, Christoph Kreitz. Building Proofs by Analogy via the Curry-Horward Isomorphism. In Andrei Voronkov, editor, Logic Programming and Automated Reasoning,International Conference LPAR 92, St. Petersburg, Russia, July 15-20, 1992, Proceedings. Volume 624 of Lecture Notes in Computer Science, pages 202-213, Springer, 1992.

Authors

Thierry Boy de la Tour

This author has not been identified. Look up 'Thierry Boy de la Tour' in Google

Christoph Kreitz

This author has not been identified. Look up 'Christoph Kreitz' in Google
runs on