机译:用射影配对扩展可扩展Lambda演算是保守的
机译:汇合终止和终端类型的lambda演算的汇合终止上下文无关的替代重写系统
机译:扩展艾布拉姆斯基的惰性Lambda演算:(非)嵌入的保守性
机译:改进的按值调用lambda演算的标准化和保守性
机译:保守地将lambda演算与形容词配对相结合
机译:单调推理的λ演算。
机译:噬菌体λ宿主范围的扩展:组成性λ受体基因的选择克隆和表征。
机译:用射影配对扩展可扩展Lambda微积分是保守的
机译:具有射影配对的Lambda演算的唯一正规形式