Computable values can be classical (1987)

by V Breazu-Tannen, A R Meyer
Venue:In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages