School of Computer Science and IT
University of Nottingham
Thursday, 16 Feb. 2006, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Slides from the talk [pdf]
Abstract: Modern Mathematics is based on classical logic and Zermelo-Fraenkel set theory. In this talk I'll discuss why a constructive approach, such as Martin-Löf's Type Theory, may be more appropriate for Computer Science.