A new fixed point theorem in domain theory

DOI10.1007/s11047-018-9672-3zbMath1530.06005MaRDI QIDQ6150999

Johnny Feng, Keye Martin

Publication date: 9 February 2024

Published in: Natural Computing (Search for Journal in Brave)

zbMATH Keywords

fixed pointorderdomain theory

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35)

Cites Work

• Unnamed Item
• Spanning retracts of a partially ordered set
• A characterization of complete lattices
• Domain Theory and Measurement
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic

This page was built for publication: A new fixed point theorem in domain theory