by Paolo Capriotti on November 9, 2012.
Tagged as: Lunches.
Martin Escardo visited today and gave a talk about the continuity of functions \((\mathbb{N} \to \mathbb{N}) \to \mathbb{N}\).
An agda file containing the proof of the talk can be found here.