Proofs as descriptions of computations (1980)

by C A Goad
Venue:in Fifth Conference ojAutomated Deduction, Les Arcs