Lambda calculus; Pattern; Combinatory reduction systems (CRS); Unique normal forms; Church-Rosser; Rigid pattern condition; Orthogonality;
机译:通过Lambda微积分与模式进行可计算性
机译:通过lambda微积分居住在简单类型的lambda微积分中以进行证明搜索
机译:Lambda演算上下文的演算
机译:具有有限产品和终端类型的简单型Lambda微积分中高阶模式的统一
机译:单调推理的λ演算。
机译:人类B细胞个体发育过程中免疫球蛋白基因重排和表达的异常模式:人类B细胞可以同时表达细胞表面Kappa和Lambda轻链
机译:通过Lambda微积分与模式的可计算性
机译:Lambda微积分与模式