栩科词语词典 - 汉语查词大全 AI 汉语助手
请问「指称语义」是什么意思?

关于「指称语义」

拼音 zhǐ chēng yǔ yì,注音 ㄓˇ ㄔㄥ ㄩˇ ㄧˋ。数据更新于 2026-07-12 13:11:15。

拼音字母zhi cheng yu yi
拼音首字母zcyy
注音符号ㄓ ㄔㄥ ㄩ ㄧ
注音首符号ㄓㄔㄩㄧ

扩展释义

某些指称语义的著作把类型解释为域理论意义上的域,因而可以被看作模型论的分支,导致了同类型论和范畴论的联系。在计算机科学内与抽象释义、程序验证和函数式编程有联系,参见函数式编程语言中的单子(monad)。特别是,指称语义使用了续体(continuation)来依据函数式编程语义表达顺序编程中的控制流。

拆字组词

相关词语