原名:λ–Calculus Timeline by Dana Scott
作品简介:更正：同上，第 101-102 页。艾伦·图灵，“论可计算数及其应用”。 Entscheidungsproblem，”Proc。伦敦数学学院。社会学会，卷。 42 (1936)，第 230-267 页。更正：卷。 43 (1937)，第 544-546 页。艾伦·图灵，“可计算性和 λ 可定义性”，J. 符号逻辑，卷。……
资源下载
VIP免费升级VIP
原名:λ–Calculus Timeline by Dana Scott
作品简介:更正：同上，第 101-102 页。艾伦·图灵，“论可计算数及其应用”。 Entscheidungsproblem，”Proc。伦敦数学学院。社会学会，卷。 42 (1936)，第 230-267 页。更正：卷。 43 (1937)，第 544-546 页。艾伦·图灵，“可计算性和 λ 可定义性”，J. 符号逻辑，卷。……
