Hi Mathieu,
On 11/9/07, Mathieu Suen mathk.sue@gmail.com wrote:
Intresting could you explain how?
there is a nice paper co-authored by Ian that does a better job in explaining this (and much more) than I possibly could given the little time I have right now... http://www.daimi.au.dk/~ups/OOVM/papers/piumarta-riccardi:threaded.pdf
The paper describes several flavours of threaded interpretation.
Also how to solve the problem?
Bert has answered this question, I think.
Best,
Michael