Electronic Notes in Theoretical Computer Science, Volume 62

Volume 62, 2001

TOSCA 2001 - Theory of Concurrency, Higher Order Languages and Types
Udine, Italy, November 19-21, 2001