Order Semantics of Recursion
暂无分享,去创建一个
The task of the next three chapters is to better understand the abstract principles underlying the ideas associated with recursive definitions of partial functions as presented in Chapter 5 and to thereby elevate the theory to a wide class of semantic categories.
[1] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .
[2] Dean N. Arden. Delayed-logic and finite-state machines , 1961, SWCT.