Add to ORKGThis paper shows that the approach of [2,12] for obtaining coinductive solutions of equations on infinite terms is a special case of a more general recent approach of [4] using distributive laws
We give an explicit coinduction principle for recursively-defined stochastic processes. The princip...
Programmers happily use induction to prove properties of recursive programs. To show properties of c...
This paper studies coinductive representations of real numbers bysigned digit streams and fast Cauch...
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...
Contains fulltext : 76536.pdf (author's version ) (Open Access)Seventh Workshop on...
AbstractThis paper illustrates the relevance of distributive laws for the solution of recursive equa...
AbstractWe introduce the λ-coiteration schema for a distributive law λ of a functor T over a functor...
ABSTRACT. The Diophantine equation of the title is solved for i 3,4 and an infinite family of soluti...
Bove and Capretta's popular method for justifying function definitions by general recursive equation...
We develop a coinductive calculus of streams based on the presence of a final coalgebra structure on...
Coinductive reasoning about infinitary structures such as streams is widely applicable. However, pra...
Coinduction is a method for specifying and reasoning about infinite data types and automata with inf...
Final coalgebras of a functor F are suited for an abstract description of infinite datatypes and dyn...
Coinduction is a method for specifying and reasoning about infinite data types and automata with inf...
We give an explicit coinduction principle for recursively-defined stochastic processes. The princip...
Programmers happily use induction to prove properties of recursive programs. To show properties of c...
This paper studies coinductive representations of real numbers bysigned digit streams and fast Cauch...
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...
Contains fulltext : 76536.pdf (author's version ) (Open Access)Seventh Workshop on...
AbstractThis paper illustrates the relevance of distributive laws for the solution of recursive equa...
AbstractWe introduce the λ-coiteration schema for a distributive law λ of a functor T over a functor...
ABSTRACT. The Diophantine equation of the title is solved for i 3,4 and an infinite family of soluti...
Bove and Capretta's popular method for justifying function definitions by general recursive equation...
We develop a coinductive calculus of streams based on the presence of a final coalgebra structure on...
Coinductive reasoning about infinitary structures such as streams is widely applicable. However, pra...
Coinduction is a method for specifying and reasoning about infinite data types and automata with inf...
Final coalgebras of a functor F are suited for an abstract description of infinite datatypes and dyn...
Coinduction is a method for specifying and reasoning about infinite data types and automata with inf...
We give an explicit coinduction principle for recursively-defined stochastic processes. The princip...
Programmers happily use induction to prove properties of recursive programs. To show properties of c...
This paper studies coinductive representations of real numbers bysigned digit streams and fast Cauch...