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

Symbolic computation and algebraic computation (68W30) Continuous maps (54C05) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Complete lattices, completions (06B23) Retraction (54C15) Structure theory of Boolean algebras (06E05)

Cites Work

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

This page was built for publication: Caratterizzazione dei reticoli continui per la teoria della computazione di Dana Scott