Edwardian Proofs in Salvador

In Salvador I talk to Samuel (or perhaps more precisely he talks to me) about lots of things: set theory, the axiom of choice, topological spaces, topological systems and weakenings, nearly countable cardinals and how to show inequalities between them, dialectica categories of different shapes...

This time I gave a Dept Seminar on the Curry-Howard Correspondence and why I think more than simply computer scientists, mathematicians also should be interested in Edwardian proofs and Curry-Howard.

The slides are here, as the talk was a repeat from the one in Boulder, but I will confess that I am not happy with this talk, yet. Alas, I don't know how to make it better, yet.