typed lambda calculus; lambda definability; logical relations; typed abstract syntax with variable binding; initial algebra semantics; categorical glueing; normalisation by evaluation;
机译:带求和的Lambda型演算的扩展归一化和类型定向局部估计
机译:简单类型的Lambda微积分的语义评估,交叉类型和复杂性
机译:Kripke风格的语义和完整的完整类型λ微积分
机译:通过评估类型化Lambda微积分对归一化的语义分析
机译:基于以下方面的评估来评估现场氮氧化物和二氧化碳连续排放数据的新型数据分析技术:(1)三种燃料类型运行的越野柴油压缩机和(2)柴油燃料运行的两个压缩机。
机译:UMLS语义类型分配审核过程的评估
机译:简单类型Lambda演算的语义评价,交集类型和复杂性