Andrej Bauer: An Apocryphal Explanation of Abstract Stone Duality
Datum objave: 28. 5. 2008
Seminar za temelje matematike in teoretično računalništvo
Četrtek, 29. maj 2008, od 14h do 16h v 3.07, Jadranska 21
Abstract: Abstract Stone Duality is a formulation of topology in terms of lambda calculus invented by Paul Taylor. Many people find it to be a challenging subject. In this talk I will explain Abstract Stone Duality even though I am not Paul Taylor.
