机译:值调用Lambda演算作为Coq中的计算模型
Saarland Univ, Saarland Informat Campus, Saarbrucken, Germany;
Saarland Univ, Saarland Informat Campus, Saarbrucken, Germany;
Computability theory; Lambda calculus; Coq; Type theory;
机译:逐个值Lambda微积分作为COQ的计算模型
机译:从Coq到按值打电话Lambda演算的时间范围的证明性提取
机译:逐个呼叫λ - 具有广义应用的Lambda-Calculus
机译:弱按值Lambda演算作为Coq中的计算模型
机译:单调推理的λ演算。
机译:人类COQ9通过增强4-羟基苯甲酸的辅酶Q生物合成并稳定CoQ-Synthome来拯救coq9酵母突变体
机译:计算按值调用λ演算的线性非线性模型(扩展摘要)