How I became seduced by univalent foundations

Описание к видео How I became seduced by univalent foundations

Speaker: Emily Riehl, Johns Hopkins University
Date: October 18th, 2022
Abstract: http://www.fields.utoronto.ca/talks/H...

Part of the "2022 Fields Medal Symposium: Akshay Venkatesh": http://www.fields.utoronto.ca/activit...

Комментарии

Информация по комментариям в разработке