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.

Extracting Text from Proofs

Yann Coscoy, Gilles Kahn, Laurent Théry. Extracting Text from Proofs. In Mariangiola Dezani-Ciancaglini, Gordon D. Plotkin, editors, Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA 95, Edinburgh, UK, April 10-12, 1995, Proceedings. Volume 902 of Lecture Notes in Computer Science, pages 109-123, Springer, 1995.

Authors

Yann Coscoy

This author has not been identified. Look up 'Yann Coscoy' in Google

Gilles Kahn

This author has not been identified. Look up 'Gilles Kahn' in Google

Laurent Théry

This author has not been identified. Look up 'Laurent Théry' in Google
runs on