Martin-Lof类型论程序设计导引

收藏
  • 【作者】(瑞典)Bengt Nordstrom,(瑞典)Kent Petersson,(瑞典)Jan M.Smith著;宋方敏译
  • 【关键词】计算数学
  • 【出版社】南京大学出版社
  • 【出版日期】2002
  • 【ISBN】7-305-03832-6
  • 【中图分类号】 O24
  • 【内容简介】本书从计算科学的角度描述了不同的类型论(类型、多型和单型集合以及子集合的理论)。全部展开
  • 【页码】195页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。