Report copyright - Towards the syntax and semantics of higher dimensional ... · The goal: type theory in type theory type signatures HIIT constructors Con : U Ty : Con !U Tm : : Con :Ty() !U Tms :
Please pass captcha verification before submit form
Please pass captcha verification before submit form