https://www.kth.se/math/kalender/iosif-petrakis-from-dependent-type-theory-to-dependent-category-theory-1.1292520?date=2023-11-01&orgdate=2023-06-04&length=1&orglength=0
Iosif Petrakis: From dependent type theory to dependent category theory | KTH
dependent type theoryto categoryiosifpetrakiskth