Picture of Bertrand Russell   Russell'08
Proof Theory meets Type Theory

A "Small Workshop" of the European TYPES Project
Swansea, Wales, 15-16 March 2008