Extracting Text from Proof (1995)

by Yann Coscoy, Gilles Kahn, Laurent Thery
Venue:IN TYPED LAMBDA CALCULUS AND ITS APPLICATIONS