机译:使用Barendregt可变惯例的建设性型理论中λ微积分的形式化
Universidad ORT Uruguay Montevideo Uruguay;
Universidad ORT Uruguay Montevideo Uruguay;
Universidad ORT Uruguay Montevideo Uruguay;
Formalized metatheory; nominal syntax; Lambda Calculus; constructive type theory; proof assistants;
机译:构造型理论中使用Barendregt变量约定的Lambda微积分的Church-Rosser定理的机器检验证明
机译:使用AGDA的建设性型理论中简单类型的Lambda微积分的强烈标准化
机译:构造型理论中Lambda演算的α结构归纳与递归
机译:类型λ微积分中的建设性数据细化
机译:在实施建设性类型理论中的自动推理。
机译:接种流感嗜血杆菌b型多糖-蛋白质结合物的婴儿的抗体反应中的可变区表达。新的λ轻链相关的独特型的描述以及独特型表达亲和力和疫苗制剂之间的关系。疫苗合作研究小组。
机译:BarendRegt对粘合剂通用结构的Barendregt可变公约的建设性类型理论的形式化
机译:通过精化lambda-Calculus统一理论类型理论