Re: Evolving Algebra semantics for LL (request)

    Have anybody heard of (an attempt to develop) a semantics for LL in terms
    of Evolving Algebras? Or maybe you think this would be a stupid idea?

I think this would just give you a form of possible-worlds (Kripke)
model. This would be nice if it worked, but I don't see how calling
such a thing an "Evolving Algebra" model would make it easier to 
construct one. Is there some intuition that makes evolving algebras
seem natural?

John Mitchell