Talk at Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2015), Kochel am See

Title: On the indispensability of bar recursion

Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net