词语
简单类型论
jiǎn dān lèi xíng lùn · ㄐㄧㄢˇ ㄉㄢ ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ · 更新 2026-06-30 15:01:01
基本属性
- 拼音字母jian dan lei xing lun
- 拼音首字母jdlxl
- 注音符号ㄐㄧㄢ ㄉㄢ ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ
- 注音首符号ㄐㄉㄌㄒㄌ
词语解释
简单类型论(simple type theory)，所谓类型是这样的变目组合 ：已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ，也就是说，命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。