Caratterizzazione dei reticoli continui per la teoria della computazione di Dana Scott

DOI10.1007/BF02575636zbMath0284.54004MaRDI QIDQ1845229

Giuseppe Attardi

Publication date: 1974

Published in: Calcolo (Search for Journal in Brave)

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

54C05: Continuous maps

54F05: Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces

06B23: Complete lattices, completions

54C15: Retraction

06E05: Structure theory of Boolean algebras

Cites Work

• Fixpoint approach to the theory of computation
• Unnamed Item
• Unnamed Item