Events

The image (Milner Lectures) above is taken from the cover of PROOF, LANGUAGE, AND
INTERACTION: ESSAYS IN HONOUR OF ROBIN MILNER, edited by Gordon
Plotkin, Colin P. Stirling, and Mads Tofte, published by The MIT Press