This event is from the archives of The Notice Board. The event has already taken place and the information contained in this post may no longer be relevant or accurate.
PIMS Distinguished Visitor Series: Prof. Fairouz Kamareddine, Heriot-Watt University, School of Mathematical & Computer Sciences
Types and Functions since Principia and computerisation of Language and Mathematics