Nottingham FP Lab Blog

Continuity of Gödel's system T functionals

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.