Contracting proofs to programs (1990)

by D Leivant
Venue:Logic and Computer Science