cartesian closed categories and holodeck games

Dominic Hughes writes:

This "backtracking game" characterisation has been known since around '93-'94, in the work of Hyland and Ong ....

Thanks for filling me in on the history! I apologize to everyone whose work I slighted in "week240". I've tried to update the web version to more accurately say who did what first: http://math.ucr.edu/home/baez/week240.html People may also be interested in joining the discussion here: http://golem.ph.utexas.edu/category/2006/10/classical_vs_quantum_computati_3... Best, jb