Computable Values Can Be Classical.

Val Tannen, Albert R. Meyer

Browse the full POPL paper archive.