Contracting proofs to programs (0)

by D Leivant
Venue:Logic in Computer Science