Talk page

Title:
Proof Theory of Cat(kappa) spaces

Speaker:
Ulrich Kohlenbach

Link:
http://www.birs.ca/events/2016/5-day-workshops/16w5072/videos/watch/201612051139-Kohlenbach.html

Workshop:
Birs- 16w5072: Algorithmic Randomness Interacts with Analysis and Ergodic Theory