Initial Algebra Semantics for Cyclic Sharing Structures

DOI10.1007/978-3-642-02273-9_11zbMath1246.68160arXiv1007.4266OpenAlexW2146437784MaRDI QIDQ3637190

Makoto Hamana

Publication date: 7 July 2009

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

Full work available at URL: https://arxiv.org/abs/1007.4266

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

A type- and scope-safe universe of syntaxes with binding: their semantics and proofs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Variations on algebra: Monadicity and generalisations of equational theories
• Explicit substitutions and higher-order syntax
• Structural induction and coinduction in a fibrational setting
• Inductive families
• Infinite trees and completely iterative theories: A coalgebraic view
• Faking it Simulating dependent types in Haskell
• Foundations for structured programming with GADTs
• Initial Algebra Semantics Is Enough!
• The Category-Theoretic Solution of Recursive Domain Equations
• Context logic and tree update
• Programming Languages and Systems
• Automated Reasoning with Analytic Tableaux and Related Methods
• Depth-First Search and Linear Graph Algorithms
• Two applications of analytic functors