scientific article
From MaRDI portal
Publication:3711753
zbMath0586.68046MaRDI QIDQ3711753
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
categorical coproductcategory of pre-ordersprofinite solution of domain equationsuniversal bounded complete domainuniversal profinite domains
Partial orders, general (06A06) Specification and verification (program logics, model checking, etc.) (68Q60) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Theory of computing (68Q99)
Related Items
Gunther Schmidt's life as a mathematician and computer scientist, Continuous completions, A note on inconsistencies caused by fixpoints in a cartesian closed category