Constructive Mathematics, Church's Thesis, and Free Choice Sequences.

D. A. Turner

Browse the full CiE paper archive.