Extracting text from proofs. Pages 109-123 of (1995)

by Y Coscoy, G Kahn
Venue:Proc. Second Int. Conf. on Typed Lambda Calculi and Applications. LNCS