40th Conference on Mathematical Foundations of Programming Semantics

Author

Valeria de Paiva, Alex Simpson