Extracting text from proofs (1995)

by Y Coscoy, G Kahn, L Théry
Venue:In Typed Lambda Calculus and its Applications