机译:论Herbrand建构逻辑的自然演绎II:一阶逻辑和算术中马尔可夫原理的库里·霍华德对应
机译:关于经典一阶逻辑的自然推论:Curry-Howard对应,强归一化和Herbrand定理
机译:推导与计算:认真对待Curry-Howard函式
机译:IZF集理论的强规范化Curry-Howard对应
机译:头部特征对应的语音协议:扩展对应理论以输出功能节点
机译:支持在跨国卫生服务研究中使用理论:以归一化过程理论为例的参与式定性方法
机译:IZF集理论的强规范化Curry-Howard对应