University of Bath and Chalmers University of Technology;
University of Bath and Chalmers University of Technology;
机译:局部笛卡尔封闭类别与Martin-Loef类型理论的双等价性
机译:马丁-洛夫直觉类型理论中的笛卡尔封闭类别
机译:来自类型理论的本地笛卡尔封闭的准类
机译:本地笛卡尔封闭类别和马丁-LOF型理论的双排等效性
机译:笛卡尔封闭类别中的群扩展和同调理论
机译:1型糖尿病中传统治疗和闭环自动胰岛素递送系统的行为含义:应用认知约束理论框架
机译:局部笛卡尔封闭类别和马丁·洛夫类型理论的双等价性