Electronic Notes in Theoretical Computer Science, Volume 26

Volume 26, 1999

HOOTS '99 Higher Order Operational Techniques in Semantics
Paris, France, September 30 and October 1, 1999
maintained by Schloss Dagstuhl LZI at University of Trier