机译:构造型理论中使用Barendregt变量约定的Lambda微积分的Church-Rosser定理的机器检验证明
机译:Lambda Pi-微积分模理论中证明减少的模型和终止
机译:Lambda Pi-微积分模理论中证明减少的模型和终止
机译:通过类别理论证明规划对角定理
机译:使用亚消融性深紫外激光-组织相互作用与内源性组织荧光相结合的无创检测恶性前病变的方法:概念验证,计算模型以及用于临床仪器设计和测试的检测理论策略。
机译:关于初等数论的新方法导致素数定理的初等证明
机译:二阶对称Lambda-mu微积分的强归一化(以范畴理论和证明理论之间的新相互作用为目标)
机译:三角测量分类的K-Theory 3 3/4:心脏定理的直接证明