I think that the best first step here is to quietly ask Dan Wallach a few
questions. He and I have already had parts of this conversation, and that
paper predates the confinement verification, which he knows about. Let me
see if he still thinks that view is even correct.
Jonathan
-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.