×

Constructive versions of Tarski’s fixed point theorems. (English) Zbl 0413.06004


MSC:

06B23 Complete lattices, completions
PDFBibTeX XMLCite
Full Text: DOI