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.

16 March 2004, Zuidelijk Interuniversitair Colloquium (ZIC), Luís Cruz-Filipe

Speaker: Luís Cruz-Filipe
(KUN)
Title: Formalizing Constructive Mathematics in Type Theory
Date: Tuesday 16 March 2004
Time: 14:15-16:00
Location: TU Eindhoven, HG 6.96

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

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