At 18:01 -0400 8/15/99, shapj@us.ibm.com wrote:
>Those of you who had a hand in trusty scheme may find much of interest in this
>paper. The only major thing it appears to be missing is rights amplification:
>
> ftp://publications.ai.mit.edu/ai-publications/1500-1999/AIM-1564.ps.Z
>
That is the nicest paper thatI have read for a while. I highly reccomend it, especially if you know some Scheme. Thanks for the reference. He went in just the direction that we were planning. He filled in some details that we had not, but had confidence could be filled. His solutions were easier than I had hopped. We had paid some attention to accountability for space.
I think that I know how to do amplification with "eq?". Perhaps his signature stuff is more efficient and perhaps more convenient. I don't know yet. I will try to find time to record my presumed solution.
I must next understand where his confinement pattern fits into our known
set of confinement schemes, if at all.
Norman Hardy <http://www.mediacity.com/~norm>