Report copyright - Variants of categories with families and their formalization ...Two kinds of models Kind( ):InterpretationsofA=MLTT+AxinB=MLTT*: one judgementsinA aretranslatedtopossibleseveraljudgements,
Please pass captcha verification before submit form