[Prev][Next][Index][Thread]

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?

Any information or suggestions will be appreciated. Please reply to
vladimir@cs.ualberta.ca because I don't read the list.