Abramsky, Samson Domain theory in logical form. (English) Zbl 0737.03006 Ann. Pure Appl. Logic 51, No. 1-2, 1-77 (1991). Reviewer: G.Ciobanu (Iaşi) MSC: 03B70 68Q55 06E15 × Cite Format Result Cite Review PDF Full Text: DOI
Mislove, Michael W.; Moss, Lawrence S.; Oles, Frank J. Non-well-founded sets modeled as ideal fixed points. (English) Zbl 0723.03031 Inf. Comput. 93, No. 1, 16-54 (1991). MSC: 03E65 68Q65 06B35 × Cite Format Result Cite Review PDF Full Text: DOI