Bas Spitters - Homotopy type theory, synthetic topology and probabilistic programming
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