Logic programming; Typed lambda calculus; Realizability transformation; Reduction systems; Structural resolution;
机译:建筑设施理论的同型类型 - 理论解释
机译:以实例为导向的综合:类型理论的解释
机译:用于通过Cloud API查询异构数据源的类型理论方法
机译:解决方案的一种理论方法
机译:超级基金执行中的协作性争议解决:解决方法是否因社区级社会人口统计学特征而异? 。
机译:联合压缩传感和超分辨率方法用于超高分辨率扩散成像
机译:一种类型理论的解决方法?
机译:具有共享的高阶模的类型 - 理论方法