Electronic Notes in Theoretical Computer Science, Volume 26

Refine list

showing all ?? records

Volume 26, 1999

HOOTS '99 Higher Order Operational Techniques in Semantics
Paris, France, September 30 and October 1, 1999
a service of  Schloss Dagstuhl - Leibniz Center for Informatics