Skip to content
<title>Channels - Codensity Lifting of Monads and its Dual :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Codensity Lifting of Monads and its Dual
Search for more channels:
Similar Items: Codensity Lifting of Monads and its Dual
Channel Options
View Record
Explore related channels
Quick Look
Companions, Causality and Codensity
Quick Look
Corecursive Algebras, Corecursive Monads and Bloom Monads
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
Relational $star$-Liftings for Differential Privacy
Quick Look
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
Quick Look
On the Parameterized Intractability of Monadic Second-Order Logic
Quick Look
Monadic second-order definable graph orderings
Quick Look
Natural Transformations as Rewrite Rules and Monad Composition
Quick Look
Monadic Second Order Logic with Measure and Category Quantifiers
Quick Look
Infinite and Bi-infinite Words with Decidable Monadic Theories
Quick Look
Weak bisimulation for coalgebras over order enriched monads
Quick Look
Lax orthogonal factorisations in monad-quantale-enriched categories
Quick Look
Modules over monads and operational semantics (expanded version)
Quick Look
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
Quick Look
Two for the Price of One: Lifting Separation Logic Assertions
Quick Look
Relation lifting, with an application to the many-valued cover modality
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
Load more items
View Record
Prev
Explore related channels
Next
