“while”的语义。在建模有局部变量的程序的时候事情变得更加困难。一种途径是不在使用域，转而把类型解释为从世界的范畴到域的范畴的函子。程序被指示为在这些函子之间的自然连续函数。
数据类型的指称.很多编程语言允许用户定义递归数据类型。例如，数的列表的类型可以指定为本节只处理不能变更的泛函数据类型。常规编程语言将典型的允许这种递归列表的元素被变更。另一个例子: 无类型 lambda 演算的指称为 “解域方程”问题关注找到建模这类数据类型的域。有一种途径，粗略的说把所有域的