On the public citation graph

Distributive laws

https://doi.org/10.1007/bfb0083084
0 signed · 224 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.4689710openalex-extracted
Smyth and Hoare Power Constructions Commute on All Well-Filtered Dcpos
inferred← citeshttps://doi.org/10.1002/malq.202300053openalex-snapshot
Adding a constant and an axiom to a doctrine
inferred← citeshttps://doi.org/10.1002/mana.200610767openalex-snapshot
Corings over rings with local units
inferred← citeshttps://doi.org/10.1007/11523468_81openalex-snapshot
Discrete Random Variables over Domains
inferred← citeshttps://doi.org/10.1007/11780274_20openalex-snapshot
A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
inferred← citeshttps://doi.org/10.1007/3-540-07142-3_62openalex-snapshot
Categorical theory of tree processing
inferred← citeshttps://doi.org/10.1007/3-540-07142-3_64openalex-snapshot
Fuzzy morphishms in automata theory
inferred← citeshttps://doi.org/10.1007/3-540-11494-7_21openalex-snapshot
On effective computations of non-deterministic schemes
inferred← citeshttps://doi.org/10.1007/3-540-49253-4_24openalex-snapshot
An Algebraic View of Program Composition
inferred← citeshttps://doi.org/10.1007/978-1-4419-1524-5_4openalex-snapshot
A 2-Categories Companion
inferred← citeshttps://doi.org/10.1007/978-3-030-02508-3_9openalex-snapshot
Layer by Layer – Combining Monads
inferred← citeshttps://doi.org/10.1007/978-3-030-35256-1_15openalex-snapshot
BOCSES over Small Linear Categories and Corings
inferred← citeshttps://doi.org/10.1007/978-3-030-71995-1_6openalex-snapshot
Combining Semilattices and Semimodules
inferred← citeshttps://doi.org/10.1007/978-3-031-10736-8_6openalex-snapshot
Algebraic Presentation of Semifree Monads
inferred← citeshttps://doi.org/10.1007/978-3-031-17715-6_26openalex-snapshot
Runners for Interleaving Algebraic Effects
inferred← citeshttps://doi.org/10.1007/978-3-031-18900-5_2openalex-snapshot
Preliminaries
inferred← citeshttps://doi.org/10.1007/978-3-031-24117-8_19openalex-snapshot
Monadic Monadic Second Order Logic
inferred← citeshttps://doi.org/10.1007/978-3-031-61716-4_11openalex-snapshot
Multisets and Distributions
inferred← citeshttps://doi.org/10.1007/978-3-031-66438-0_10openalex-snapshot
Correspondence Between Composite Theories and Distributive Laws
inferred← citeshttps://doi.org/10.1007/978-3-032-09460-5_4openalex-snapshot
Distributive Laws in a Non Associative Setting
inferred← citeshttps://doi.org/10.1007/978-3-0348-0405-9_12openalex-snapshot
Parenthetic Remarks
inferred← citeshttps://doi.org/10.1007/978-3-319-06251-8_16openalex-snapshot
A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories
inferred← citeshttps://doi.org/10.1007/978-3-319-06251-8_8openalex-snapshot
Preparing Relational Algebra for “Just Good Enough” Hardware
inferred← citeshttps://doi.org/10.1007/978-3-319-08918-8_23openalex-snapshot
Local States in String Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-319-30936-1_8openalex-snapshot
Dragging Proofs Out of Pictures
inferred← citeshttps://doi.org/10.1007/978-3-319-40370-0_8openalex-snapshot
Product Rules and Distributive Laws
inferred← citeshttps://doi.org/10.1007/978-3-319-40370-0_9openalex-snapshot
On the Logic of Generalised Metric Spaces
inferred← citeshttps://doi.org/10.1007/978-3-540-45220-1_48openalex-snapshot
Logical Relations for Dynamic Name Creation
inferred← citeshttps://doi.org/10.1007/978-3-540-70594-9_12openalex-snapshot
The Expression Lemma
inferred← citeshttps://doi.org/10.1007/978-3-540-78913-0_19openalex-snapshot
Determinisation of Relational Substitutions in Ordered Categories with Domain
inferred← citeshttps://doi.org/10.1007/978-3-642-04639-1_7openalex-snapshot
Composing Partially Ordered Monads
inferred← citeshttps://doi.org/10.1007/978-3-642-14058-7_27openalex-snapshot
Signatures for Assessment, Diagnosis and Decision-Making in Ageing
inferred← citeshttps://doi.org/10.1007/978-3-642-30362-3_8openalex-snapshot
Methods to Prove Koszulity of an Operad
inferred← citeshttps://doi.org/10.1007/978-3-642-35705-3_2openalex-snapshot
Unifying Theories of Programming with Monads
inferred← citeshttps://doi.org/10.1007/978-3-642-36527-0_26openalex-snapshot
Category Theoretic Ontology for Representation of Assessment Scales and Consensus Guidelines in Elderly Care
inferred← citeshttps://doi.org/10.1007/978-3-642-38164-5_16openalex-snapshot
Anatomy of a Domain of Continuous Random Variables II
inferred← citeshttps://doi.org/10.1007/bf01188063openalex-snapshot
A note on the number of distributive laws
inferred← citeshttps://doi.org/10.1007/bf01214522openalex-snapshot
Doctrines on 2-categories
inferred← citeshttps://doi.org/10.1007/bf01214842openalex-snapshot
Induced functors on categories of algebras
inferred← citeshttps://doi.org/10.1007/bfb0018360openalex-snapshot
A dialectica-like model of linear logic
inferred← citeshttps://doi.org/10.1007/bfb0058582openalex-snapshot
Sheaves in regular categories
inferred← citeshttps://doi.org/10.1007/bfb0063106openalex-snapshot
Coherence theorems for lax algebras and for distributive laws
inferred← citeshttps://doi.org/10.1007/s00012-020-00680-8openalex-snapshot
Lattices do not distribute over powerset
inferred← citeshttps://doi.org/10.1007/s00029-017-0361-3openalex-snapshot
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
inferred← citeshttps://doi.org/10.1007/s10468-009-9143-8openalex-snapshot
On Quasi-Hopf Smash Products and Twisted Tensor Products of Quasialgebras
inferred← citeshttps://doi.org/10.1007/s10468-010-9222-xopenalex-snapshot
On the Classification of Twisting Maps Between K n and K m
inferred← citeshttps://doi.org/10.1007/s10468-016-9604-9openalex-snapshot
Duality Features of Left Hopf Algebroids
inferred← citeshttps://doi.org/10.1007/s10485-006-9015-xopenalex-snapshot
Coherence for Product Monoids and their Actions
inferred← citeshttps://doi.org/10.1007/s10485-007-9076-5openalex-snapshot
Algebras Versus Coalgebras
inferred← citeshttps://doi.org/10.1007/s10485-008-9126-7openalex-snapshot
RETRACTED ARTICLE: Understanding the Small Object Argument
inferred← citeshttps://doi.org/10.1007/s10485-008-9137-4openalex-snapshot
Understanding the Small Object Argument
inferred← citeshttps://doi.org/10.1007/s10485-008-9185-9openalex-snapshot
Pre-torsors and Galois Comodules Over Mixed Distributive Laws
inferred← citeshttps://doi.org/10.1007/s10485-010-9243-yopenalex-snapshot
Factorization Systems Induced by Weak Distributive Laws
inferred← citeshttps://doi.org/10.1007/s10485-013-9331-xopenalex-snapshot
Monads of Regular Theories
inferred← citeshttps://doi.org/10.1007/s10485-013-9364-1openalex-snapshot
Generalized Płonka Sums and Products
inferred← citeshttps://doi.org/10.1007/s10485-015-9421-zopenalex-snapshot
Representations of Crossed Modules and Other Generalized Yetter-Drinfel’d Modules
inferred← citeshttps://doi.org/10.1007/s10485-018-9517-3openalex-snapshot
Extensions of Operators, Liftings of Monads, and Distributive Laws
inferred← citeshttps://doi.org/10.1007/s10485-019-09567-9openalex-snapshot
Distributive Laws via Admissibility
inferred← citeshttps://doi.org/10.1007/s10485-019-09582-wopenalex-snapshot
The Vietoris Monad and Weak Distributive Laws
inferred← citeshttps://doi.org/10.1007/s10485-023-09716-1openalex-snapshot
Distributive Laws for Relative Monads
inferred← citeshttps://doi.org/10.1007/s10485-023-09732-1openalex-snapshot
Hopf Monads: A Survey with New Examples and Applications
inferred← citeshttps://doi.org/10.1007/s10485-024-09798-5openalex-snapshot
Presentations of Pseudodistributive Laws
inferred← citeshttps://doi.org/10.1007/s10485-025-09820-4openalex-snapshot
The Leibniz PROP is a Crossed Presimplicial Algebra
inferred← citeshttps://doi.org/10.1007/s10958-012-1039-1openalex-snapshot
On adjunction contexts and regular quasi-monads
inferred← citeshttps://doi.org/10.1007/s10958-013-1599-8openalex-snapshot
Azumaya Algebras as Galois Comodules
inferred← citeshttps://doi.org/10.1007/s10977-007-9017-yopenalex-snapshot
On the classification and properties of noncommutative duplicates
inferred← citeshttps://doi.org/10.1007/s11464-022-1019-9openalex-snapshot
The cosemisimplicity and cobraided structures of monoidal comonads
inferred← citeshttps://doi.org/10.1007/s40062-022-00302-1openalex-snapshot
Resolutions of operads via Koszul (bi)algebras
inferred← citeshttps://doi.org/10.1007/s40509-025-00368-5openalex-snapshot
The quantum monadology
inferred← citeshttps://doi.org/10.1016/0022-4049(82)90029-9openalex-snapshot
Multiplicative infinite loop space theory
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.12.113openalex-snapshot
On Combining Probability and Nondeterminism
inferred← citeshttps://doi.org/10.1016/j.fss.2003.10.021openalex-snapshot
Similarities between powersets of terms
inferred← citeshttps://doi.org/10.1016/j.fss.2007.06.002openalex-snapshot
Powersets of terms and composite monads
inferred← citeshttps://doi.org/10.1016/j.ic.2009.07.003openalex-snapshot
Modules over monads and initial semantics
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2011.08.034openalex-snapshot
Factorizable enriched categories and applications
inferred← citeshttps://doi.org/10.1016/j.jpaa.2005.02.007openalex-snapshot
A factorization of regularity
inferred← citeshttps://doi.org/10.1016/j.jpaa.2009.08.011openalex-snapshot
Monad interleaving: A construction of the operad for Leinster’s weak ω -categories
inferred← citeshttps://doi.org/10.1016/j.jpaa.2010.09.014openalex-snapshot
Coherence for modalities
inferred← citeshttps://doi.org/10.1016/j.jpaa.2012.02.017openalex-snapshot
Completely and totally distributive categories I
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.07.004openalex-snapshot
The intersection of algebra and coalgebra
inferred← citeshttps://doi.org/10.1016/j.tcs.2014.03.008openalex-snapshot
Anatomy of a domain of continuous random variables I
inferred← citeshttps://doi.org/10.1016/s0022-4049(01)00097-4openalex-snapshot
A basic distributive law
inferred← citeshttps://doi.org/10.1016/s0022-4049(02)00130-5openalex-snapshot
An extension of the regular completion
inferred← citeshttps://doi.org/10.1016/s0022-4049(02)00137-8openalex-snapshot
The formal theory of monads II
inferred← citeshttps://doi.org/10.1016/s0022-4049(02)00140-8openalex-snapshot
Distributive laws and factorization
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80319-6openalex-snapshot
A Coalgebraic Foundation for Linear Time Semantics
inferred← citeshttps://doi.org/10.1017/9781108863117openalex-snapshot
Bimonoids for Hyperplane Arrangements
inferred← citeshttps://doi.org/10.1017/9781108863117.001openalex-snapshot
Preface
inferred← citeshttps://doi.org/10.1017/9781108863117.002openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1017/9781108863117.003openalex-snapshot
Species and operads
inferred← citeshttps://doi.org/10.1017/9781108863117.004openalex-snapshot
Hyperplane arrangements
inferred← citeshttps://doi.org/10.1017/9781108863117.005openalex-snapshot
Species and bimonoids
inferred← citeshttps://doi.org/10.1017/9781108863117.006openalex-snapshot
Bimonads on species
inferred← citeshttps://doi.org/10.1017/9781108863117.007openalex-snapshot
Operads
inferred← citeshttps://doi.org/10.1017/9781108863117.008openalex-snapshot
Basic theory of bimonoids
inferred← citeshttps://doi.org/10.1017/9781108863117.009openalex-snapshot
Primitive filtrations and decomposable filtrations
inferred← citeshttps://doi.org/10.1017/9781108863117.010openalex-snapshot
Universal constructions
inferred← citeshttps://doi.org/10.1017/9781108863117.011openalex-snapshot
Examples of bimonoids
inferred← citeshttps://doi.org/10.1017/9781108863117.012openalex-snapshot
Hadamard product
inferred← citeshttps://doi.org/10.1017/9781108863117.013openalex-snapshot
Exponential and logarithm
inferred← citeshttps://doi.org/10.1017/9781108863117.014openalex-snapshot
Characteristic operations
inferred← citeshttps://doi.org/10.1017/9781108863117.015openalex-snapshot
Modules over monoid algebras and bimonoids in species
inferred← citeshttps://doi.org/10.1017/9781108863117.016openalex-snapshot
Antipode
inferred← citeshttps://doi.org/10.1017/9781108863117.017openalex-snapshot
Structure theory for bimonoids
inferred← citeshttps://doi.org/10.1017/9781108863117.018openalex-snapshot
Loday–Ronco, Leray–Samelson, Borel–Hopf
inferred← citeshttps://doi.org/10.1017/9781108863117.019openalex-snapshot
Hoffman–Newman–Radford
inferred← citeshttps://doi.org/10.1017/9781108863117.020openalex-snapshot
Freeness under Hadamard products
inferred← citeshttps://doi.org/10.1017/9781108863117.021openalex-snapshot
Lie monoids
inferred← citeshttps://doi.org/10.1017/9781108863117.022openalex-snapshot
Poincaré–Birkhoff–Witt and Cartier–Milnor–Moore
inferred← citeshttps://doi.org/10.1017/9781108863117.023openalex-snapshot
Appendices
inferred← citeshttps://doi.org/10.1017/9781108863117.024openalex-snapshot
Vector spaces
inferred← citeshttps://doi.org/10.1017/9781108863117.025openalex-snapshot
Internal hom for monoidal categories
inferred← citeshttps://doi.org/10.1017/9781108863117.026openalex-snapshot
Higher monads
inferred← citeshttps://doi.org/10.1017/9781108863117.027openalex-snapshot
Author Index
inferred← citeshttps://doi.org/10.1017/9781108863117.028openalex-snapshot
Subject Index
inferred← citeshttps://doi.org/10.1017/is010001014jkt105openalex-snapshot
Bimonads and Hopf monads on categories
inferred← citeshttps://doi.org/10.1017/prm.2022.42openalex-snapshot
Derived homotopy algebras
inferred← citeshttps://doi.org/10.1017/s0004972700024412openalex-snapshot
Fuzzy machines in a category
inferred← citeshttps://doi.org/10.1017/s000497270900029xopenalex-snapshot
WEAK BRAIDED BIALGEBRAS AND WEAK ENTWINING STRUCTURES
inferred← citeshttps://doi.org/10.1017/s0017089517000088openalex-snapshot
BRAIDED MIXED DATUMS AND THEIR APPLICATIONS ON HOM-QUANTUM GROUPS
inferred← citeshttps://doi.org/10.1017/s030500410900259xopenalex-snapshot
A homotopy-theoretic universal property of Leinster's operad for weak ω-categories
inferred← citeshttps://doi.org/10.1017/s0305004110000599openalex-snapshot
Iterated distributive laws
inferred← citeshttps://doi.org/10.1017/s0956796809007291openalex-snapshot
The essence of the Iterator pattern
inferred← citeshttps://doi.org/10.1017/s0956796815000258openalex-snapshot
Unifying structured recursion schemes
inferred← citeshttps://doi.org/10.1017/s0956796817000077openalex-snapshot
Backtracking with cut via a distributive law and left-zero monoids
inferred← citeshttps://doi.org/10.1017/s0956796821000137openalex-snapshot
A trustful monad for axiomatic reasoning with probability and nondeterminism
inferred← citeshttps://doi.org/10.1017/s095679682500005xopenalex-snapshot
The graphical theory of monads
inferred← citeshttps://doi.org/10.1017/s0960129500000360openalex-snapshot
Categories, relations and dynamic programming
inferred← citeshttps://doi.org/10.1017/s0960129508006695openalex-snapshot
Monad compositions II: Kleisli strength
inferred← citeshttps://doi.org/10.1017/s0960129508007172openalex-snapshot
Logical relations for monadic types
inferred← citeshttps://doi.org/10.1017/s0960129512000138openalex-snapshot
Open-graphs and monoidal theories
inferred← citeshttps://doi.org/10.1017/s0960129513000868openalex-snapshot
Theories of analytic monads
inferred← citeshttps://doi.org/10.1017/s0960129514000656openalex-snapshot
No-iteration mixed distributive laws
inferred← citeshttps://doi.org/10.1017/s0960129515000328openalex-snapshot
The parametric continuation monad
inferred← citeshttps://doi.org/10.1017/s0960129520000249openalex-snapshot
Jets and differential linear logic
inferred← citeshttps://doi.org/10.1017/s0960129522000330openalex-snapshot
Weakest preconditions in fibrations
inferred← citeshttps://doi.org/10.1017/s0960129525000040openalex-snapshot
Coherent Taylor expansion as a bimonad
inferred← citeshttps://doi.org/10.1023/a:1008678719663openalex-snapshot
Homotopy Structures for Algebras over a Monad
inferred← citeshttps://doi.org/10.1023/a:1012095313842openalex-snapshot
Boundedness and Complete Distributivity
inferred← citeshttps://doi.org/10.1051/ita:2004016openalex-snapshot
Coproducts of Ideal Monads
inferred← citeshttps://doi.org/10.1080/00927870802070314openalex-snapshot
Compatibility Conditions Between Rings and Corings
inferred← citeshttps://doi.org/10.1080/00927872.2018.1559850openalex-snapshot
Noncommutative fibrations
inferred← citeshttps://doi.org/10.1080/00927877708822206openalex-snapshot
Distributive laws and lifting of triples
inferred← citeshttps://doi.org/10.1080/00927877908822338openalex-snapshot
Symmetric monoidal comonads and differential algebra
inferred← citeshttps://doi.org/10.1080/03081087.2012.675334openalex-snapshot
Coalgebraic structures in module theory
inferred← citeshttps://doi.org/10.1109/fuzzy.2009.5277098openalex-snapshot
Early diagnosis of cognitive disorder based on ground categories for decision support structures
inferred← citeshttps://doi.org/10.1109/ismvl.2001.924597openalex-snapshot
Composing submonads
inferred← citeshttps://doi.org/10.1109/lics.1997.614955openalex-snapshot
Towards a mathematical operational semantics
inferred← citeshttps://doi.org/10.1109/lics.2002.1029838openalex-snapshot
The powerdomain of indexed valuations
inferred← citeshttps://doi.org/10.1109/lics.2007.14openalex-snapshot
Categorical Combinatorics for Innocent Strategies
inferred← citeshttps://doi.org/10.1109/lics.2015.45openalex-snapshot
A Fibrational Account of Local States
inferred← citeshttps://doi.org/10.1109/lics.2019.8785707openalex-snapshot
No-Go Theorems for Distributive Laws
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470633openalex-snapshot
A Relational Theory of Monadic Rewriting Systems, Part I
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470678openalex-snapshot
From Multisets over Distributions to Distributions over Multisets
inferred← citeshttps://doi.org/10.1112/topo.12318openalex-snapshot
Algebraic theories of power operations
inferred← citeshttps://doi.org/10.1137/1016026openalex-snapshot
Machines in a Category: An Expository Introduction
inferred← citeshttps://doi.org/10.1142/s0129167x08004996openalex-snapshot
ON ITERATED TWISTED TENSOR PRODUCTS OF ALGEBRAS
inferred← citeshttps://doi.org/10.1142/s021949881000380xopenalex-snapshot
EXTENDED DISTRIBUTIVE LAW: COWREATH OVER CORINGS
inferred← citeshttps://doi.org/10.1142/s0219498811004471openalex-snapshot
LIFTING THEOREMS FOR TENSOR FUNCTORS ON MODULE CATEGORIES
inferred← citeshttps://doi.org/10.1142/s0219498824502384openalex-snapshot
On functors preserving projective resolutions
inferred← citeshttps://doi.org/10.1142/s0219498825500537openalex-snapshot
On Amitsur cohomology of monads
inferred← citeshttps://doi.org/10.1145/3704855openalex-snapshot
A Demonic Outcome Logic for Randomized Nondeterminism
inferred← citeshttps://doi.org/10.1145/3798215openalex-snapshot
noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
inferred← citeshttps://doi.org/10.1216/rmj-2019-49-6-2063openalex-snapshot
Smash coproducts of monoidal comonads and Hom-entwining structures
inferred← citeshttps://doi.org/10.1360/ssm-2025-0280openalex-snapshot
The braided structures in the category of bicomodules
inferred← citeshttps://doi.org/10.1515/tmj-2017-0100openalex-snapshot
Wreaths, mixed wreaths and twisted coactions
inferred← citeshttps://doi.org/10.1515/tmj-2017-0110openalex-snapshot
Quantalic topological theories
inferred← citeshttps://doi.org/10.1515/tmj-2017-0113openalex-snapshot
Algebra and local presentability: how algebraic are they? (A survey)
inferred← citeshttps://doi.org/10.2140/agt.2017.17.2763openalex-snapshot
Stable Postnikov data of Picard 2–categories
inferred← citeshttps://doi.org/10.2140/agt.2025.25.1945openalex-snapshot
Quillen homology of spectral Lie algebras with application to mod p homology of labeled configuration spaces
inferred← citeshttps://doi.org/10.2140/akt.2018.3.1openalex-snapshot
Hochschild homology, lax codescent, and duplicial structure
inferred← citeshttps://doi.org/10.2140/gtm.2009.16.215openalex-snapshot
What precisely are E∞ring spaces and E∞ring spectra?
inferred← citeshttps://doi.org/10.2140/gtm.2009.16.283openalex-snapshot
The construction of E∞ring spaces from bipermutative categories
inferred← citeshttps://doi.org/10.2140/gtm.2009.16.285openalex-snapshot
The construction of E∞ring spaces from bipermutative categories
inferred← citeshttps://doi.org/10.2168/lmcs-8(3:2)2012openalex-snapshot
Completeness for the coalgebraic cover modality
inferred← citeshttps://doi.org/10.2201/niipi.2013.10.2openalex-snapshot
Distributive laws of directed containers
inferred← citeshttps://doi.org/10.26226/morressier.604907f41a80aac83ca25cc9openalex-snapshot
Combining Semilattices and Semimodules
inferred← citeshttps://doi.org/10.32408/compositionality-2-1openalex-snapshot
Distributive laws for Lawvere theories
inferred← citeshttps://doi.org/10.3390/axioms4010032openalex-snapshot
Azumaya Monads and Comonads
inferred← citeshttps://doi.org/10.3934/era.2022160openalex-snapshot
On quasi-monoidal comonads and their corepresentations
inferred← citeshttps://doi.org/10.4204/eptcs.207.2openalex-snapshot
Eilenberg–Moore Monoids and Backtracking Monad Transformers
inferred← citeshttps://doi.org/10.4204/eptcs.236.5openalex-snapshot
A Topological Perspective on Interacting Algebraic Theories
inferred← citeshttps://doi.org/10.4204/eptcs.236.7openalex-snapshot
Ambiguity and Incomplete Information in Categorical Models of Language
inferred← citeshttps://doi.org/10.4204/eptcs.333.2openalex-snapshot
A Monad for Probabilistic Point Processes
inferred← citeshttps://doi.org/10.4204/eptcs.351.14openalex-snapshot
Semialgebras and Weak Distributive Laws
inferred← citeshttps://doi.org/10.4204/eptcs.351.18openalex-snapshot
Canonical Automata via Distributive Law Homomorphisms
inferred← citeshttps://doi.org/10.4204/eptcs.351.3openalex-snapshot
Monads for Measurable Queries in Probabilistic Databases
inferred← citeshttps://doi.org/10.4204/eptcs.380.14openalex-snapshot
Lax Liftings and Lax Distributive Laws
inferred← citeshttps://doi.org/10.4204/eptcs.76.5openalex-snapshot
An Investigation of the Laws of Traversals
inferred← citeshttps://doi.org/10.46298/entics.10482openalex-snapshot
Weakening and Iterating Laws using String Diagrams
inferred← citeshttps://doi.org/10.46298/entics.10498openalex-snapshot
Bi-invariance for Uniform Strategies on Event Structures
inferred← citeshttps://doi.org/10.46298/entics.14732openalex-snapshot
Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
inferred← citeshttps://doi.org/10.46298/lmcs-18(4:8)2022openalex-snapshot
Convexity via Weak Distributive Laws
inferred← citeshttps://doi.org/10.70675/93c4e843z20b1z4f86zb489zee97aef4679eopenalex-snapshot
Pre-Lie algebras and operads in positive characteristic
inferred← citeshttps://doi.org/10.70675/9cd987f2z1368z4d11zb74czdd0a28134da4openalex-snapshot
Interacting Hopf Algebras- the Theory of Linear Systems
inferred← citeshttps://doi.org/10.70675/adcfd403z5566z460dz9591zebb0e4f5a766openalex-snapshot
Principles of program verification for arbitrary monadic effects
inferred← citeshttps://doi.org/10.70675/bae6e60bz6d6ez4e30z81e4z3dfa94433bfcopenalex-snapshot
On the compositionality of monads via weak distributive laws
inferred← citeshttps://doi.org/10.70675/e25bcca0z1b66z4116z80eaz3397f4044ca3openalex-snapshot
Lifting Algebraic Reasoning to Generalized Metric Spaces
inferred← citeshttps://doi.org/10.70675/ed228187zb7bcz417bz9f72z568f96ff5552openalex-snapshot
Combinatorics, homotopy, and embedding of operads
inferred← citeshttps://doi.org/10.70930/tac/141olwkqopenalex-snapshot
Coalgebras, braidings, and distributive laws
showing the first 200 of 224 · page through all 224
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.