anti-unification; typed lambda calculus; least general generalization;
机译:高阶泛化的通用框架
机译:三阶泛化:对高阶泛化进行分类的新方法
机译:数据库泛化中基于面向对象数据结构的泛化约束和操作框架
机译:用于高阶概括的通用框架
机译:二维非线性Schrodinger方程行波解的稳定性和存在性及其高阶推广。
机译:在本地学习在全球范围内思考:示例变异支持高阶泛化和单词学习
机译:高阶和模态逻辑作为基于解释的泛化的框架
机译:CLOs的高阶通用函数。