Unique fixed points vs. least fixed points

DOI10.1016/0304-3975(80)90056-0MaRDI QIDQ1142573zbMATH OpenOpenAlexFDO

Authors Jerzy Tiuryn

Publication date 1980

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

Full work available at URL https://doi.org/10.1016/0304-3975(80)90056-0

zbMATH Keywords

semantics of programming languagesleast fixed pointsunique fixed points

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cites work

• scientific article; zbMATH DE number 3729449 (Why is no real title available?)
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 3562490 (Why is no real title available?)
• scientific article; zbMATH DE number 3597837 (Why is no real title available?)
• scientific article; zbMATH DE number 3439971 (Why is no real title available?)
• scientific article; zbMATH DE number 3362972 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Initial Algebra Semantics and Continuous Algebras
• On the algebraic structure of rooted trees

Cited in

(30)

• On functors preserving coproducts and algebras with iterativity
• Solving polynomial fixed point equations
• Algebraic solutions to recursion schemes
• Extensions of iterative congruences of free iterative algebras
• Fixing Zeno gaps
• scientific article; zbMATH DE number 6740664 (Why is no real title available?)
• Group axioms for iteration
• The equational logic of fixed points
• Infinite trees and completely iterative theories: A coalgebraic view
• Complete iterativity for algebras with effects
• On iteratable endofunctors
• Completely iterative algebras and completely iterative monads
• Bases for parametrized iterativity
• Fundamental properties of infinite trees
• Sets with structure, mappings and fixed point property: fixed point structures
• Equational properties of iterative monads
• On algebras with effectful iteration
• Iterative reflections of monads
• A Description of Iterative Reflections of Monads (Extended Abstract)
• Multi-linear iterative \(K\)-\(\Sigma\)-semialgebras.
• Base modules for parametrized iterativity
• Algebras with parametrized iterativity
• Algebras of iteration theories
• scientific article; zbMATH DE number 7136663 (Why is no real title available?)
• Iterative factor algebras and induced metrics
• Implementation of data types by algebraic methods
• A coalgebraic view of infinite trees and iteration
• Recursion-closed algebraic theories
• How iterative reflections of monads are constructed
• Elgot theories: a new perspective on the equational properties of iteration

This page was built for publication: Unique fixed points vs. least fixed points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1142573)