Extracting text from proofs (1995)

by Yann Coscoy, Gilles Kahn, Laurent Thery
Venue:In Typed Lambda Calculus and its Applications, volume 902 of LNCS