相关文档

中国科学技术大学:《程序设计语言理论》课程教学资源(PPT课件讲稿)第4章 类型化λ演算的模型

• 递归函数和不动点算子,以及PCF语言的编程实例 • 基于完全偏序集合的,带不动点算子的类型化λ演算的论域理论模型 • 不动点归纳法,这是一种对递归定义进行推理的证明方法
团购合买资源类别:文库,文档格式:PPT,文档页数:47,文件大小:791.5KB
点击进入文档下载页(PPT格式)