...
机译:Martin-Lof类型理论的超编译
Russian Acad Sci, Keldysh Inst Appl Math, Moscow 125047, Russia;
Russian Acad Sci, Keldysh Inst Appl Math, Moscow 125047, Russia;
机译:Martin-Lof类型理论的ETA规则
机译:关于马丁-洛夫类型理论中从属产品的强度
机译:Per Martin-Lof类型理论研究
机译:基于评价归一化的亚型Martin-Lof类型理论的一种类型检查算法
机译:良好角色理想类型理论:社会系统中帕森斯病态理想类型的伴侣。
机译:D-π-A型卟啉染料中电荷转移的增强:密度泛函理论(DFT)和时变密度泛函理论(TD-DFT)的研究
机译:马丁-洛夫类型理论中的对象和类型的开放性
机译:解释马丁 - 洛夫在一类自由命题理论中的类型理论