找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 简单类型论
简单类型论(simple type theory)，所谓类型是这样的变目组合 ：已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ，也就是说，命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。 — 拼音 jiǎn dān lèi xíng lùn，更新 2026-07-13 02:17:06
| 拼音 | jiǎn dān lèi xíng lùn |
|---|---|
| 拼音字母 | jian dan lei xing lun |
| 首字母 | jdlxl |
| 注音 | ㄐㄧㄢˇ ㄉㄢ ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ |
| 注音符号 | ㄐㄧㄢ ㄉㄢ ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ |