From Algebras and Coalgebras to Dialgebras

DOI10.1016/S1571-0661(04)80915-0zbMath1260.18004MaRDI QIDQ4917045

Jan Zwanenburg, Erik Poll

Publication date: 26 April 2013

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (7)

A coalgebraic perspective on logical interpretations ⋮ Coalgebras for Binary Methods: Properties of Bisimulations and Invariants ⋮ Modal Operators for Coequations ⋮ Unnamed Item ⋮ Two extensions of system F with (co)iteration and primitive (co)recursion principles ⋮ Abstract Logics as Dialgebras ⋮ Greatest Bisimulations for Binary Methods

Uses Software

• CCSL

Cites Work

• On behavioural abstraction and behavioural satisfaction in higher-order logic
• Universal coalgebra: A theory of systems
• Behavioural and abstractor specifications
• An approach to object semantics based on terminal co-algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: From Algebras and Coalgebras to Dialgebras