Higher-order Algebras and Coalgebras from Parameterized Endofunctors

DOI10.1016/j.entcs.2010.07.018zbMath1247.68176OpenAlexW2063635911MaRDI QIDQ2919455

Jiho Kim

Publication date: 2 October 2012

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.07.018

zbMATH Keywords

higher-order algebrashigher-order coalgebrasparametric endofunctor

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Functor categories, comma categories (18A25)

Related Items (1)

Unnamed Item

Cites Work

• Unnamed Item
• Categories for computation in context and unified logic
• Infinite trees and completely iterative theories: A coalgebraic view
• Comonadic Notions of Computation
• Foundations for structured programming with GADTs
• Parameterised notions of computation
• Generalizing Substitution

This page was built for publication: Higher-order Algebras and Coalgebras from Parameterized Endofunctors