满足安全关注。
完全抽象.完全抽象的概念关心程序的指称语义是否精确的匹配它的操作语义。完全抽象的关键性质有:我们希望在操作语义和指称语义之间的额外想要的性质有:在指称语义中长期存在的重点是完全抽象存在于归纳类型中，特别是自然数的类型，作为接受用做递归的一种方法的类型。这个问题的传统解释是作为系统 PCF语言的语义。在 1990年代成功的用博弈语义为 PCF 提供了完全抽象模型，导致了对指称语义的工作在方式上的根本改变。
语义与实现.依据 Dana S