Andrew Pitts - Models of Univalence in Toposes
Channel: Università degli Studi dell'Insubria
Date: 2018-12-18

Abstract available at the address http://tcsc.lakecomoschool.org/files/2018/06/AbstractsToposesInComo_20_06.pdf