http://theory.lcs.mit.edu/groups/semantics.html
(PC Press Internet CD, 03/1996)
Semantics
The Semantics group is part of the
MIT LCS Theory of Computation Group
.
Academic Staff
Albert R. Meyer
(Project Leader)
Support Staff
David M. Jones
Graduate Students
Jakov Kucan
Daniele Micciancio
Visitors
Jens Palsberg
Peter Orbaek
dmjones@theory.lcs.mit.edu
http://theory.lcs.mit.edu/groups/semantics.html (PC Press Internet CD, 03/1996)