Parametric corecursion
From MaRDI portal
Publication:5941163
DOI10.1016/S0304-3975(00)00126-2zbMath0973.68134OpenAlexW2914339009MaRDI QIDQ5941163
Publication date: 20 August 2001
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00126-2
Related Items (30)
The coinductive resumption monad ⋮ Explicit substitutions and higher-order syntax ⋮ Recursive Program Schemes and Context-Free Monads ⋮ The category-theoretic solution of recursive program schemes ⋮ Equational properties of iterative monads ⋮ Recursion and corecursion have the same equational logic ⋮ Infinite trees and completely iterative theories: A coalgebraic view ⋮ On second-order iterative monads ⋮ Unnamed Item ⋮ Friends with Benefits ⋮ On coalgebra based on classes ⋮ Coinduction in Flow: The Later Modality in Fibrations ⋮ Elgot theories: a new perspective on the equational properties of iteration ⋮ Infinite trace equivalence ⋮ A Coalgebraic View of Infinite Trees and Iteration ⋮ \(p\)-adic physics, non-well-founded reality and unconventional computing ⋮ Coproducts of Ideal Monads ⋮ Substitution in non-wellfounded syntax with variable binding ⋮ Completely iterative algebras and completely iterative monads ⋮ Recursive coalgebras from comonads ⋮ Distributive laws for the coinductive solution of recursive equations ⋮ Terminal coalgebras and free iterative theories ⋮ On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions ⋮ Solving Algebraic Equations Using Coalgebra ⋮ Generalizing Substitution ⋮ Final Coalgebras And a Solution Theorem for Arbitrary Endofunctors ⋮ Coalgebraic Monads ⋮ From Parity Games to Circular Proofs ⋮ On Rational Monads and Free Iterative Theories ⋮ On Iteratable Endofunctors
Cites Work
This page was built for publication: Parametric corecursion
