Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

20 April 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Jesper Carlström

Speaker: Jesper Carlström
(Stokholm/Nijmegen)
Title: Interpreting descriptions in intensional type theory
Date: Tuesday 20 April 2004
Time: 14:15-16:00
Location: TU Eindhoven, Auditorium 12 (<em>please note the unusual location</em>)

For abstracts and more information, see http://www.win.tue.nl/zic/ or contact Georgi Jojgov ().

Please note that this newsitem has been archived, and may contain outdated information or links.