简单类型论
概述
简单类型论(simple type theory)，所谓类型是这样的变目组合 ：已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ，也就是说，命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。
2 扩展释义
简单类型论(simple type theory)，所谓类型是这样的变目组合 ：已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ，也就是说，命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。
9 词语组词
相关词条
本词条最后更新于 2026-07-13 07:45:03
友情链接
抓书网
短词网
书号查询
星云网
罪孽的代价 zuì niè de dài jià是什么意思？
夏天钓鲫鱼燕麦饵料配方 绝杀小麦饵料配方介绍是什么意思？
明太祖朱元璋是什么意思？
庄河天气预报30天是什么意思？
寒假日记春节100字左右38篇是什么意思？
纵纹口夜蛾是什么意思？
廖沟河是什么意思？
襄阳曲四首是什么意思？
堆叠面积图 在线制作堆叠面积图，像做表格一样制作可视化图表，支持导出静态或动态图表是什么意思？
画土分贡 是什么意思？ huà tǔ fēn gòng
金泰宇是什么意思？
病假中南亭闲望是什么意思？
大连天气预报30天是什么意思？
查看海南天气-今天紫外线 查看海南天气 海南是什么意思？
电子/通信是什么意思？
保安管理思想总结(汇总11篇)是什么意思？