的关键性质有:我们希望在操作语义和指称语义之间的额外想要的性质有:在指称语义中长期存在的重点是完全抽象存在于归纳类型中，特别是自然数的类型，作为接受用做递归的一种方法的类型。这个问题的传统解释是作为系统 PCF语言的语义。在 1990年代成功的用博弈语义为 PCF 提供了完全抽象模型，导致了对指称语义的工作在方式上的根本改变。
语义与实现.依据 Dana Scott [1980]:依据 Clinger [1981]:
指称语义的早期历史.如前面提