Univalent Foundations Seminar

Submitted by admin on Wed, 01/09/2013 - 19:02
Constructing HITs in a Realizability Model
Andrej Bauer
University of Ljubljana
Date & Time: 
Thu, 12/20/2012 - 11:00 - 12:30
Location: 
West Bldg. Lecture Hall
Rooms: 
West Lecture Hall
terms: