Is constructive logic relevant for computer science?

Thorsten Altenkirch

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