scientific article; zbMATH DE number 1314221

MaRDI QIDQ4256307zbMATH OpenFDO

Authors Marina Lenisa

Publication date 12 July 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=1919002

zbMATH Keywords

T-coiteration schemeT-coiterative functionsTarski fixpoint theorem

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 1497878
• Generalised coinduction
• scientific article; zbMATH DE number 1064116
• Universal coalgebra: A theory of systems

Cited in

(18)

• Coinduction for exact real number computation
• Bisimulation and coinduction enhancements: a historical perspective
• Distributive laws for the coinductive solution of recursive equations
• From Sets to Bits in Coq
• Relating two approaches to coinductive solution of recursive equations
• How to Kill Epsilons with a Dagger
• A coinductive approach to computing with compact sets
• Towards a Coalgebraic Chomsky Hierarchy
• How to reason coinductively informally
• Generalised coinduction
• Generalizing Substitution
• scientific article; zbMATH DE number 1497878 (Why is no real title available?)
• Generalised coinduction
• A general account of coinduction up-to
• Enhanced coalgebraic bisimulation
• Bialgebras for structural operational semantics: an introduction
• Towards the critical problem: On the coalgebraic relation between sets and multisets
• On some properties of topological \(\mathbb{MV}\)-coalgebras.

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 Q4256307)