Dana Scott 在 1960年代，接着由 Joe Stoy 在 1970年代于“Oxford University Computing Laboratory”的“Programming Research Group”开发。Montague文法是英语的理想片段的某种形式的指称语义。
同其他计算机科学领域的联系.某些指称语义的着作把类型解释为域理论意义上的域，因而可以被看作模型论的分支，导致了同类型论和范畴论的联系。在计算机科学内与抽象释义、程序验证和函数式编程有联系，参见函