On 10/25/07, Matej Kosik <kosik at fiit.stuba.sk> wrote:
>
> But there are strictly more interesting things that we want to describe whose behavior cannot be
> described in the lambda-calculus.
>
> The thing that comes to my mind is
> - - ClockMorph
> - - the web-server
> - - the programmable interrupt timer
> - - Erlang concurrent, mutually interacting, processes.

Why not?  You don't need to update variables to have updates.  And,
you know that Erlang can not modify variables after creation right,
although I don't know if this is the property of L-C you had in mind?