Aspects of the Computational Content of Proofs (1994)

by J Underwood