## Is constructive logic relevant for computer science?

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.

Tarmo Uustalu

Last update 16.2.2006