Fixpoints of Recursive Definitions
Lecture notes (
PDF
) (
Postscript
)
Writeup (
Postscript
) (
PDF
)
Comments!
Links
References
Z. Manna,
Mathematical Theory of Computation,
Chap. 5, Mc. Graw-Hill, 1974.