简单类型论
jiǎn dān lèi xíng lùn · ㄐㄧㄢˇ ㄉㄢ ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ
- 字母
- jian dan lei xing lun
- 首字母
- jdlxl
- 注音符号
- ㄐㄧㄢ ㄉㄢ ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ
- 注音首符
- ㄐㄉㄌㄒㄌ
简单类型论(simple type theory)，所谓类型是这样的变目组合 ：已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ，也就是说，命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。
拆字
相关
文络智义词库，您的专属汉语词典。海量词条，精准释义，成语、近义词、反义词一键查询。专业友好的界面，让词语学习更高效。
链接
抓书网 短词网 书号查询 星云网 古诗词名句取名字女孩(经典9篇)是什么意思？ 学习赋予人生蜕变是什么意思？ 本溪天气预报30天是什么意思？ 擎天战机手游 飞行射击 / 421.9M 2026-03-06 18:30:03 下载是什么意思？ 工业吸尘设备是什么意思？ 密度换算器是什么意思？ 随州市是什么意思？ 结婚吉日是什么意思？ 父严子孝是什么意思？ 香港天气预报30天是什么意思？ cei是什么意思？ 消菔通结汤是什么意思？ 侦骑是什么意思？ 立山天气预报30天是什么意思？ 查看新疆天气-日照气象15天天气 查看新疆天气 新疆是什么意思？ 查看云南天气-气象图鉴15天预报 查看云南天气 云南是什么意思？