G\\\” 模型逻辑的柯里-霍华德对应：从自然演绎到并行计算 电子书下载

原名:Curry-Howard Correspondence for G\\\” odel Logic: from Natural Deduction to Parallel Computation
作品简介:从自然演绎到并行计算。 Federico Curry-Howard，标准化，并行 lambda 演算。 1. 没有架构错误。……