Contracting proofs to programs (1990)

by D Leivant
Venue:In Logic and Comp. Sci