scientific article; zbMATH DE number 1497878

MaRDI QIDQ4499309zbMATH OpenFDO

Authors Furio Honsell, Marina Lenisa

Publication date 5 March 2001

zbMATH Keywords

atomsbisimulationcoiterative functionsfinal coalgebrafoundations of coinductive types

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1314221
• scientific article; zbMATH DE number 2172972
• A general final coalgebra theorem
• Final coalgebras as greatest fixed points in ZF set theory

Cited in

(11)

• Finality regained: A coalgebraic study of Scott-sets and multisets
• Final coalgebras and a solution theorem for arbitrary endofunctors
• Towards a Coalgebraic Chomsky Hierarchy
• scientific article; zbMATH DE number 1231630 (Why is no real title available?)
• scientific article; zbMATH DE number 1314221 (Why is no real title available?)
• scientific article; zbMATH DE number 1497869 (Why is no real title available?)
• Final coalgebras as greatest fixed points in ZF set theory
• A coalgebraic foundation for coinductive union types
• Realization of coinductive types
• A Complete Logic for Behavioural Equivalence in Coalgebras of Finitary Set Functors
• Towards the critical problem: On the coalgebraic relation between sets and multisets

This page was built for publication:

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