scientific article; zbMATH DE number 1314221

zbMATH Open0918.68029MaRDI QIDQ4256307FDOQ4256307

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

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

T-coiteration schemeT-coiterative functionsTarski fixpoint theorem

Mathematics Subject Classification ID

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

Cited In (16)

• Towards the critical problem: On the coalgebraic relation between sets and multisets
• Generalizing Substitution
• From Sets to Bits in Coq
• Distributive laws for the coinductive solution of recursive equations
• Bisimulation and coinduction enhancements: a historical perspective
• A coinductive approach to computing with compact sets
• Bialgebras for structural operational semantics: an introduction
• Coinduction for exact real number computation
• Generalised coinduction
• Relating two approaches to coinductive solution of recursive equations
• How to reason coinductively informally
• Generalised coinduction
• How to Kill Epsilons with a Dagger
• Towards a Coalgebraic Chomsky Hierarchy
• Enhanced coalgebraic bisimulation
• A general account of coinduction up-to

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)