2009/10 seminars

Seminars from the academic year 2009/10.

SpeakerDateTopic
Francisco Lobo 28 January An Introduction to Fibrations
Harold Simmons 21 January Ordinal Arithmetic
Hugh Steele 14 January Proof Nets for Linear Logic
Andrea Schalk 7 January An Introduction to Enriched Categories
▲ Up to the top