BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Logic in univalent type theory - Martin Escardo (University of Bir
 mingham)
DTSTART:20170711T090000Z
DTEND:20170711T100000Z
UID:TALK73231@talks.cam.ac.uk
CONTACT:INI IT
DESCRIPTION:We explain and illustrate the logic used in univalent type the
 ory\, and <br>we compare it to the usual Curry-Howard logic used in Martin
 -Loef type <br>theory.
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR