Calculus of Inductive Constructions; decidability; first-order theory; lambda calculus; strong normalization; type theory;
机译:二阶集理论和高阶理论的相对偏好和依赖递归
机译:谓词类型理论中的不相关性和算法等式
机译:谓词类型理论中的不相关性和算法等式
机译:COQMTU:由可判定的一阶理论具有近期宇宙的预测层次的高阶类型理论
机译:自然数 中 ,表语 单叶 型 理论
机译:折纸镶嵌的曲率度量和参数化:蛋盒模式的理论和应用
机译:CoqMTU:一种高阶类型理论,具有可判定的一阶理论参数化的宇宙谓语层次
机译:一阶处理高阶边界层效应与二阶理论和实验数据的比较