[Prev][Next][Index][Thread]
Re: Evolving Algebra semantics for LL (request)
-
To: Vladimir Alexiev <vladimir@cs.ualberta.ca>
-
Subject: Re: Evolving Algebra semantics for LL (request)
-
From: John "C." Mitchell <jcm@cs.Stanford.EDU>
-
Date: Tue, 15 Mar 94 10:07:22 -0800
-
Approved: types@dcs.gla.ac.uk
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