Extracting constructive content from classical proofs (1990)

by Chetan Murthy