Inproceedings,

Computable Values Can Be Classical.

, and .
POPL, page 238-245. ACM Press, (1987)

Meta data

Tags

Users

  • @dblp

Comments and Reviews