关于 λ 演算的形式化和 Tait-Girard 的可计算性概念 电子书下载

原名:On the formalization of λ-calculus and Tait-Girard\’s notion of computability
作品简介:以及 Tait-Girard 的可计算性概念。 （工作正在进行中）。弗雷德里克·布朗基。第三次证明理论和重写研讨会。 2013 年 3 月 4 日至 8 日。……