Publication
Video
Science for the 21st Century
The European Science Initiative (ESI) at Microsoft Research Cambridge presents, Science for the 21st Century.
Publication
How to Complete a Doubling Metric
Publication
A Chart Semantics for the Pi-calculus
Publication