Report - EUTYPES-TYPES 2020 - Abstracts · currently based on presheaf models on simplicial or cubical categories: the initial Kan-simplicial set model of HoTT [KLV12] and the various cubical

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form