Lambda the Ultimate

inactiveTopic Playful, streamlike computation
started 1/25/2004; 5:55:10 AM - last post 1/25/2004; 5:55:10 AM
Ehud Lamm - Playful, streamlike computation  blueArrow
1/25/2004; 5:55:10 AM (reads: 14121, responses: 0)
Playful, streamlike computation
Pierre-Louis Curien. Playful, streamlike computation. Proc. Int. Symp. on Domain Theory, Chengdu, 2001, Kluwer.

A bit on the technical side, but should be interesting for those interested in semantics, and the relationship between programming languages and logic.

Posted to theory by Ehud Lamm on 1/25/04; 5:57:10 AM