Presented by:
Martin Escardo
Date:
Tuesday 11th July 2017 - 10:00 to 11:00
Venue:
INI Seminar Room 1
Abstract:
We explain and illustrate the logic used in univalent type theory, and
we compare it to the usual Curry-Howard logic used in Martin-Loef type
theory.
we compare it to the usual Curry-Howard logic used in Martin-Loef type
theory.
The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.