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.

comments powered by Disqus