性集合论内建模了参数化多态。详情可见下面列出的教科书。一个新近研究领域已经涉及了基于编程语言的对象和类的指称语义。
受限复杂性的程序的指称语义.随着基于线性逻辑的编程语言的开发，指称语义已经被给予了线性使用(参见 证明网、一致空间)和多项式时间复杂性的语言。
非确定性程序的指称语义.要给出非确定性程序顺序程序指称语义，研究者已经开发出了幂域理论。对幂域构造写上 "P"，域 "P"("D") 是指示为 "D" 的类型的非确定性计算的域。在非确定性域理