Iterative factor algebras and induced metrics

DOI10.1016/0304-3975(83)90025-7zbMath0534.68012OpenAlexW1965831438MaRDI QIDQ790606

Francesco Parisi-Presicce

Publication date: 1984

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(83)90025-7

zbMATH Keywords

regular treesfixed point equationssemantics of programming languagescomplete metricsfixed point semanticsflowchart algorithmsfree theoryiterative theories

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) General topics in the theory of software (68N01)

Cites Work

• Iterative algebras
• Extensions of iterative congruences of free iterative algebras
• Fundamental properties of infinite trees
• Unique fixed points vs. least fixed points
• Regular trees and the free iterative theory
• Initial Algebra Semantics and Continuous Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Iterative factor algebras and induced metrics