AbstractThis paper illustrates the relevance of distributive laws for the solution of recursive equations, and shows that one approach for obtaining coinductive solutions of equations via infinite terms is in fact a special case of a more general approach using an extended form of coinduction via distributive laws
AbstractWe discuss Osius's [G. Osius, Categorical set theory: A characterisation of the category of ...
AbstractWe present a theory of streams (infinite sequences), automata and languages, and formal powe...
Distributive laws in Computer Science are rules governing the transformation of one programming stru...
This paper illustrates the relevance of distributive laws for the solution of recursive equations, a...
AbstractThis paper shows that the approach of [P. Aczel, J. Adámek, S. Milius, and J. Velebil, Infin...
This paper shows that the approach of [2,12] for obtaining coinductive solutions of equations on inf...
AbstractWe introduce the λ-coiteration schema for a distributive law λ of a functor T over a functor...
Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalge...
Recursive specifications are a powerful tool mainly used in mathematics and computer science. In the...
Final coalgebras of a functor F are suited for an abstract description of infinite datatypes and dyn...
Abstract. Distributive laws of a monad T over a functor F are categor-ical tools for specifying alge...
Contains fulltext : 76536.pdf (author's version ) (Open Access)Seventh Workshop on...
We give alternative definitions of distributive laws and pseudodistributive laws involving the decag...
AbstractWe generalise the notion of a distributive law between a monad and a comonad to consider wea...
AbstractWe discuss Osius's [G. Osius, Categorical set theory: A characterisation of the category of ...
AbstractWe present a theory of streams (infinite sequences), automata and languages, and formal powe...
Distributive laws in Computer Science are rules governing the transformation of one programming stru...
This paper illustrates the relevance of distributive laws for the solution of recursive equations, a...
AbstractThis paper shows that the approach of [P. Aczel, J. Adámek, S. Milius, and J. Velebil, Infin...
This paper shows that the approach of [2,12] for obtaining coinductive solutions of equations on inf...
AbstractWe introduce the λ-coiteration schema for a distributive law λ of a functor T over a functor...
Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalge...
Recursive specifications are a powerful tool mainly used in mathematics and computer science. In the...
Final coalgebras of a functor F are suited for an abstract description of infinite datatypes and dyn...
Abstract. Distributive laws of a monad T over a functor F are categor-ical tools for specifying alge...
Contains fulltext : 76536.pdf (author's version ) (Open Access)Seventh Workshop on...
We give alternative definitions of distributive laws and pseudodistributive laws involving the decag...
AbstractWe generalise the notion of a distributive law between a monad and a comonad to consider wea...
AbstractWe discuss Osius's [G. Osius, Categorical set theory: A characterisation of the category of ...
AbstractWe present a theory of streams (infinite sequences), automata and languages, and formal powe...
Distributive laws in Computer Science are rules governing the transformation of one programming stru...
DOI
Add to ORKG