Théry, Extracting Text from Proof (1995)

by Yann Coscoy, Gilles Kahn, Laurent
Venue:In Typed Lambda Calculus and its Application