Caratterizzazione dei reticoli continui per la teoria della computazione di Dana Scott
From MaRDI portal
Publication:1845229
DOI10.1007/BF02575636zbMath0284.54004MaRDI QIDQ1845229
Publication date: 1974
Published in: Calcolo (Search for Journal in Brave)
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