Contracting proofs to programs (1990)

by D Leivant
Venue:Logic and Computer Science, APIC Studies in Data Processing 31