Building Proofs by Analogy via the Curry-Horward Isomorphism.

Thierry Boy de la Tour, Christoph Kreitz

Browse the full LPAR paper archive.