scientific article

zbMath1139.06001MaRDI QIDQ3510919

Ingrid Lindström, Viggo Stoltenberg-Hansen, Edward R. Griffor

Publication date: 3 July 2008

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

zbMATH Keywords

fixed pointsdomainstopologyrepresentation theorybasic recursion theorydomain theorycomplete partial orderseffective domainsdomain equationspower domainsuniversal domaindomains as models of formal theoriespartial elementrepresentability in domains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Ordered sets (06A99) Continuous lattices and posets, applications (06B35) Recursive functions and relations, subrecursive hierarchies (03D20) Theory of numerations, effectively presented structures (03D45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)

Related Items (6)

Unnamed Item ⋮ Algebraic and fixed point equations over inverse limits of algebras ⋮ Recursive definitions of tabular transformations ⋮ Remarks on Martin-Löf's partial type theory ⋮ A Digital Version of the Kakutani Fixed Point Theorem for Convex-valued Multifunctions ⋮ Domains of commutative C*-subalgebras

This page was built for publication: