指称语义
基本解释
简解
指称语义的词语属性
拼音zhǐ chēng yǔ yì
拼音字母zhi cheng yu yi
拼音首字母zcyy
指称语义的百科含义
某些指称语义的著作把类型解释为域理论意义上的域，因而可以被看作模型论的分支，导致了同类型论和范畴论的联系。在计算机科学内与抽象释义、程序验证和函数式编程有联系，参见函数式编程语言中的单子(monad)。特别是，指称语义使用了续体(continuation)来依据函数式编程语义表达顺序编程中的控制流。
猜你喜欢
- kuoyefenghuacao阔叶丰花草
- hunshe魂舍
- yiliwala咿哩哇啦
- biedouliao别逗了
- zhongkang中康
- mingjijituan明基集团
- mengguxunmashu蒙古驯马术
- xiangdudashi飨毒大师
- zhejiangshengjiaoyuting浙江省教育厅
- anzishuweicao暗紫鼠尾草
- huangjianhong黄建红
- guangfataobaoka广发淘宝卡
- paodugangcun抛渎岗村
- huile慧乐
- xintiancun莘田村
- chenjieqi陈介祺
- woaizhubajie我爱猪八戒
- xiaoyishigonganju孝义市公安局
- tianjianshenbi天剑神笔
- lizhaodaxia利兆大厦
- nián lìn jiǎo rào黏吝缴绕
- xufuhai徐福海
- dongyouji《东游记》
- gusong谷松
- roucongrongdunyangshen肉苁蓉炖羊肾
- hangsangyan颃颡岩
- zhanluecehua战略策划
- taizhouwandaqiao台州湾大桥
- chaidamuhuangqi柴达木黄耆
- yajianfengke蚜茧蜂科