scientific article

From MaRDI portal

Revision as of 09:15, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3711753

Jump to:navigation, search

zbMath0586.68046MaRDI QIDQ3711753

Carl A. Gunter

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

categorical coproduct category of pre-orders profinite solution of domain equations universal bounded complete domain universal profinite domains

Mathematics Subject Classification ID

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 (3)

Gunther Schmidt's life as a mathematician and computer scientist ⋮ Continuous completions ⋮ A note on inconsistencies caused by fixpoints in a cartesian closed category

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3711753&oldid=17206807"