某些指称语义的著作把类型解释为域理论意义上的域，因而可以被看作模型论的分支，导致了同类型论和范畴论的联系。在计算机科学内与抽象释义、程序验证和函数式编程有联系，参见函数式编程语言中的单子(monad)。特别是，指称语义使用了续体(continuation)来依据函数式编程语义表达顺序编程中的控制流。
连续函数的不动点是指称语义的一个重要内容，它刻画了程序的计算性质。
The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.
本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
本文中描述了把代码生成语言的指称语义描述变换为编译程序代码生成器的一个变换系统。
The automatic generation system, which transforms the denotational semantics of code generation languages into efficient compiler code generator, has been developed.
应用推荐