Realizability as the Connection between Computable and Constructive Mathematics

By Andrej Bauer, on August 23rd, 2005

Lecture notes for my tutorial at Computability and Complexity in Analysis 2005, Kyoto. [...]

August 23rd, 2005 | Category: Publications, Talks | 12 comments