Lambda the Ultimate
BRICS Activities
started 4/27/2001; 12:54:32 PM - last post 4/27/2001; 12:54:32 PM
Ehud Lamm
- BRICS Activities
4/27/2001; 12:54:32 PM (reads: 553, responses: 0)
BRICS Activities
Several activities of interest, in the near future.
Summer School on Logical Methods
Seventeenth Conference on the Mathematical Foundations of Programming Semantics
Second Symposium on Programs as Data Objects
Posted to
general
by
Ehud Lamm
on 4/28/01; 12:27:49 AM
BRICS Activities
