Banach's fixed-point theorem as a base for data-type equations

DOI10.1007/BF00878504zbMath0802.18007OpenAlexW2058067778MaRDI QIDQ1330915

V. Pereyra

Publication date: 10 August 1994

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00878504

zbMATH Keywords

data type theoryenriched catgegories

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Enriched categories (over closed or monoidal categories) (18D20)

Related Items

The category-theoretic solution of recursive program schemes ⋮ On final coalgebras of continuous functors ⋮ Infinite trees and completely iterative theories: A coalgebraic view ⋮ Initial algebras and terminal coalgebras in many-sorted sets

Cites Work

• Unnamed Item
• Unnamed Item
• Solving reflexive domain equations in a category of complete metric spaces
• Metric interpretations of infinite trees and semantics of non deterministic recursive programs
• Fixed-point constructions in order-enriched categories
• The Category-Theoretic Solution of Recursive Domain Equations
• Processes and the denotational semantics of concurrency