Type: Direct Link

Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday

Proceedings Machines, Computations and Universality 2013

Proceedings First Workshop on Control Operators and their Semantics

Proceedings Workshop on Fixed Points in Computer Science

Proceedings Second International Workshop on Hybrid Systems and Biology