Type theory; Shallow embedding; Set model; Standard model; Canonicity; Parametricity; Agda;
机译:均质化嵌入式校正器问题。 第一部分:理论
机译:校正可极化的嵌入:提高线性响应理论对闭微计的诱导贡献
机译:MnN4嵌入石墨烯上氧还原反应的新型催化活性:色散校正的密度泛函理论研究
机译:类型理论的浅埋在道德上是正确的
机译:纠正赤铁矿沉积岩中浅层古磁倾角的偏倚:理论,实验和应用。
机译:意外的奸诈:心灵的道德相关理论
机译:从多态类型嵌入存在类型的Galois:扩展抽象(证明理论和计算理论)