scientific article; zbMATH DE number 6943958
From MaRDI portal
Publication:4683859
DOI10.23638/LMCS-14(3:22)2018zbMath1448.18008arXiv1705.09198MaRDI QIDQ4683859
Publication date: 26 September 2018
Full work available at URL: https://arxiv.org/abs/1705.09198
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (2)
On algebras with effectful iteration ⋮ A new foundation for finitary corecursion and iterative algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets
- On second-order iterative monads
- Eilenberg--Moore algebras for stochastic relations
- Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
- Fundamental properties of infinite trees
- Regular trees and the free iterative theory
- Universal coalgebra: A theory of systems
- On algebras with effectful iteration
- Congruences of convex algebras.
- Trace semantics via determinization
- Context-free coalgebras
- Non-Deterministic Kleene Coalgebras
- A New Foundation for Finitary Corecursion
- Coalgebraic Characterizations of Context-Free Languages
- Corecursive Algebras, Corecursive Monads and Bloom Monads
- Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
- A Completeness Result for Finite λ-bisimulations
- Simulations of Weighted Tree Automata
- Towards a Coalgebraic Chomsky Hierarchy
- On the definition of a family of automata
- Iterative algebras at work
- Rational streams coalgebraically
- Adjoint Lifting Theorems for Categories of Algebras
- Proper Functors and their Rational Fixed Point.
- Finite Behaviours and Finitary Corecursion
- Generalizing determinization from automata to coalgebras
- Algebraic Systems and Pushdown Automata
- Finitary Corecursion for the Infinitary Lambda Calculus
- Elgot Algebras
- Shorter Notes: Redei's Finiteness Theorem for Commutative Semigroups
- Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
- Semantics of Higher-Order Recursion Schemes
This page was built for publication:
