wakate2014 数学基礎論若手の会2014 での発表資料 Program The program is available here. My talk: date: 11/19, 16:10 - 17:00 (50 minutes) Title: Univalent foundations Prerequisites wget to download the bibliography from BibSonomy