Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Coalgebraic Characterizations of Context-Free Languages

Joost Winter ; Jan J. M. Rutten ; Marcello M. Bonsangue.
In this article, we provide three coalgebraic characterizations of the class of context-free languages, each based on the idea of adding coalgebraic structure to an existing algebraic structure by specifying output-derivative pairs. Final coalgebra semantics then gives an interpretation function&nbsp;[&hellip;]
Published on September 13, 2013

Presenting Distributive Laws

Marcello M. Bonsangue ; Helle Hvid Hansen ; Alexander Kurz ; Jurriaan Rot.
Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for&nbsp;[&hellip;]
Published on August 7, 2015

  • < Previous
  • 1
  • Next >