Skip to content
Channels - Corecursive Algebras, Corecursive Monads and Bloom Monads :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Corecursive Algebras, Corecursive Monads and Bloom Monads
Search for more channels:
Similar Items: Corecursive Algebras, Corecursive Monads and Bloom Monads
Channel Options
View Record
Explore related channels
Quick Look
Monads need not be endofunctors
Quick Look
Smart Choices and the Selection Monad
Quick Look
The Formal Theory of Monads, Univalently
Quick Look
On the Monadic Second-Order Transduction Hierarchy
Quick Look
Exploring the Boundaries of Monad Tensorability on Set
Quick Look
Codensity Lifting of Monads and its Dual
Quick Look
Monadic second-order definable graph orderings
Quick Look
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
Quick Look
On the Parameterized Intractability of Monadic Second-Order Logic
Quick Look
Natural Transformations as Rewrite Rules and Monad Composition
Quick Look
Weak bisimulation for coalgebras over order enriched monads
Quick Look
Lax orthogonal factorisations in monad-quantale-enriched categories
Quick Look
Monadic Second Order Logic with Measure and Category Quantifiers
Quick Look
Infinite and Bi-infinite Words with Decidable Monadic Theories
Quick Look
Modules over monads and operational semantics (expanded version)
Quick Look
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
Quick Look
An enriched view on the extended finitary monad--Lawvere theory correspondence
Quick Look
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Quick Look
A Functional (Monadic) Second-Order Theory of Infinite Trees
Quick Look
Hardness of monadic second-order formulae over succinct graphs
Quick Look
The monadic second-order logic of graphs XVI : Canonical graph decompositions
Quick Look
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
Quick Look
What Monads Can and Cannot Do with a Few Extra Pages
Quick Look
Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
Load more items
View Record
Prev
Explore related channels
Next