Fixpoint operators for domain equations

DOI10.1016/S0304-3975(00)00341-8zbMath1002.68087MaRDI QIDQ1605186

A. John Power, Giuseppe Rosolini

Publication date: 15 July 2002

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

zbMATH Keywords

enriched categoryinitial algebraYoneda lemmainternel category

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Partially ordered objects in a topos

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• The formal theory of monads
• The Discrete Objects in the Effective Topos
• The Category-Theoretic Solution of Recursive Domain Equations
• Axiomatic Domain Theory in Categories of Partial Maps
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Fixpoint operators for domain equations