×
安德鲁·皮特斯（Andrew M.Pitts）。

阿尔法结构递归和归纳。 （英语） Zbl 1326.68180号

美国临床医学杂志 53，第3期，459-506（2006）.

引用于29文件

MSC公司：

68问题55 计算理论中的语义学
03日70 归纳可定义性
68甲15 编程语言理论
60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题65 抽象数据类型；代数规范

关键词：

抽象语法；粘合剂；归纳；姓名；递归

引文：

Zbl 1152.68464号
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Pitts}，J.ACM 53，第3期，459--506（2006；Zbl 1326.68180）
全文： 内政部