论关心找到表示系统作为的数学对象。这个理论利用了计算数学域。这种计算域的例子是偏函数和演员事件图场景。关系 x≤y 意味着 x 可以计算演进为 y。如果指称是偏序函数，比如 f≤g 可以意味着 f 一致于 g 在 f 在其上定义的所有值上。如果指称是演员事件图场景，x≤y 意味着满足 x 的系统可以演进到满足 y 的一个系统。计算域有下列性质:由系统 S 指示的数学指称通过构造从叫做 ⊥ 的空指称递增更好的逼近来找到 ，使用某个逼近定义函数 progression(进步)如下这样构造 S 的指称