Formal methods; Type theory; Computer languages; Theoretical computer science; Applied mathematics; Isomorphism Heterogeneous equality; Cubical Type Theory; Martin-L?f Type Theory;
机译:笛卡尔立体计算类型理论:带有路径和等式的建构性推理
机译:立方型理论:单价公理的建设性解释
机译:防护立方类型理论:防护递归的路径相等
机译:立方型理论中异质平等的建设性证明
机译:在实施建设性类型理论中的自动推理。
机译:马来西亚亚斯坦小学时代儿童母亲和父亲之间的风险和恢复能力:一种定性建设性的基础理论方法
机译:内在推理与平等互动的对话谱系与建构型理论中的平等观念