Simon Gay – författare

Semantic Techniques in Quantum Computation

Theory and Formal Methods 1993

Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

Behavioural Types

From Theory to Tools