Computable values can be classical (1987)

by V Breazu-Tannen, A R Meyer
Venue:In Proceedings of the 14th Symposium on Principles of Programming Languages