• 豆搜网 > 第6章 递归类型
  • 第6章 递归类型

    免费下载 下载此文档 文档格式:PPT   更新时间:2011-06-26   下载次数:0   点击次数:5

    t的项的函数,反之亦然6.3 递归类型PCF语言中递归类型的定型规则 ( Intro) ( Elim)函数fold和unfold互逆,满足下面的等式公理unfold(fold M) = Mfold(unfold M) = MM: [ t./t] ...

    抱歉,此文档暂时无法提供完整预览,请免费下载后浏览。
  • 下载地址 (推荐使用迅雷下载地址,速度快,支持断点续传)
  • 免费下载 PPT格式下载