Sorry, I was trying to make an abbreviation for lambda-calculus
On 10/25/07, Matej Kosik kosik@fiit.stuba.sk wrote:
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Jason Johnson wrote:
On 10/25/07, Matej Kosik kosik@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?
Sorry, what is L-C?
Some (infinitely many) processes expressed in the pi-calculus cannot be modeled in the lambda-calculus because they cannot be regarded as algorithms. http://www.amazon.com/s/ref=nb_ss_gw/102-3481753-9537767?initialSearch=1&...
Am I missing something?
Best regard
Matej Kosik ICQ: 300133844 skype: matej_kosik -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQFHIPNxL+CaXfJI/hgRAlgeAJwPJuCZgJXpwQvwgR76h6X8H7xoNQCdHhTo Xm8BOw7excfEOsti21GSg/I= =6IqL -----END PGP SIGNATURE-----