Types and coalgebraic structure
From MaRDI portal
Recommendations
- Coalgebras in functional programming and type theory
- On coalgebras and type transformations
- scientific article; zbMATH DE number 1497873
- A coalgebraic semantics of subtyping
- A coalgebraic foundation for coinductive union types
- Realization of coinductive types
- Types, Maps and Separation Logic
- scientific article; zbMATH DE number 7168147
- Coalgebras as types determined by their elimination rules
- Coalgebras of bounded type
Cited in
(25)- Rigidity of unary algebras and its application to the \({\mathcal {HS} = \mathcal {SH}}\) problem
- The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras
- Iterated covariant powerset is not a monad
- Algebraic lattices and locally finitely presentable categories
- On universal categories of coalgebras
- A simplification functor for coalgebras
- Type structures
- Transitivity and difunctionality of bisimulations
- Functors for coalgebras
- Presentation of set functors: a coalgebraic perspective
- Some facets of Horn covarieties in a category
- Free-lattice functors weakly preserve epi-pullbacks
- Connected monads weakly preserve products
- Weak homomorphisms of coalgebras beyond \(\mathsf{Set}\)
- Copower functors
- Subsequential transducers: a coalgebraic perspective
- Minimality Notions via Factorization Systems and Examples
- Quotients of Bounded Natural Functors
- scientific article; zbMATH DE number 1722645 (Why is no real title available?)
- scientific article; zbMATH DE number 7471712 (Why is no real title available?)
- On minimal coalgebras
- Coalgebras, Chu spaces, and representations of physical systems
- Terminal Sequence Induction via Games
- On the Structure of Mizar Types
- On products of transition systems
This page was built for publication: Types and coalgebraic structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2577729)
