BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:An introduction to Martin-Löf Type Theory - Vikraman (University 
 of Cambridge)
DTSTART:20191204T110000Z
DTEND:20191204T120000Z
UID:TALK135739@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:I will present an introduction to Martin-Löf (intensional) Ty
 pe Theory\, building up to some basic concepts from Homotopy Type Theory.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR