Extracting text from proofs, in: Typed Lambda Calculus and (0)

by G Dowek
Venue:Applications , M. Dezani-Ciancaglini (Eds.), Lecture Notes in Computer Science 902