scientific article
From MaRDI portal
Publication:2765926
zbMath0994.68018MaRDI QIDQ2765926
Alberto Pardo, Varmo Vene, Tarmo Uustalu
Publication date: 24 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Fantastic morphisms and where to find them. A guide to recursion schemes ⋮ Unifying structured recursion schemes ⋮ The Expression Lemma ⋮ Initial Algebras of Terms with Binding and Algebraic Structure ⋮ The Recursion Scheme from the Cofree Recursive Comonad ⋮ Recursive coalgebras from comonads ⋮ Distributive laws for the coinductive solution of recursive equations ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Generalizing Substitution ⋮ Structural operational semantics for continuous state stochastic transition systems ⋮ Corecursion up-to via causal transformations
This page was built for publication:
