Презентація гомотопічного прувера Cubical Type Theory від Mortberg et al 

Максим Сохацький

Інститут математики НАНУ

2018