你
请解释一下「简单类型论」这个词的含义。
助手
简单类型论
jiǎn dān lèi xíng lùn · ㄐㄧㄢˇ ㄉㄢ ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ
jian dan lei xing lun
jdlxl
ㄐㄧㄢ ㄉㄢ ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ
2026-07-12 05:19:49
扩展释义
简单类型论(simple type theory)，所谓类型是这样的变目组合 ：已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ，也就是说，命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。
友情链接
抓书网
短词网
书号查询
星云网
麻辣豆干是什么意思？
北京天气预报30天是什么意思？
位置是什么意思？
劳动节应该怎么祝福人家生日快乐(摘录十八篇)是什么意思？
查看宁夏天气-晨露天气一周天气 查看宁夏天气 宁夏是什么意思？
诗意绵长丰姓取名合集，单字字福禄双全贵人常伴名字清单亲友和睦人缘旺取名指南是什么意思？
领证吉日是什么意思？
闪电新闻是什么意思？
扫墓的曰记是什么意思？
慢速摄影 màn sù shè yǐng 阅读是什么意思？
龙井市司法局 lóng jǐng shì sī fǎ jú是什么意思？
教师范文大全是什么意思？
2026年12月在校大学生入党申请书1500字（精选11篇）是什么意思？
抒情是什么意思？
雪后月窗戏题是什么意思？
29笔画的字是什么意思？