Skip to content
<title>Channels - A Categorical Approach to Syntactic Monoids :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
A Categorical Approach to Syntactic Monoids
Search for more channels:
Similar Items: A Categorical Approach to Syntactic Monoids
Channel Options
View Record
Explore related channels
Quick Look
A syntactic approach to continuity of T-definable functionals
Quick Look
Monoidal Width
Quick Look
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
Quick Look
Coherent Presentations of Monoidal Categories
Quick Look
Coinductive Streams in Monoidal Categories
Quick Look
A Monoidal View on Fixpoint Checks
Quick Look
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
Quick Look
Tameness and the power of programs over monoids in DA
Quick Look
Extended Stone Duality via Monoidal Adjunctions
Quick Look
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
Quick Look
Branching Bisimilarity of Normed BPA Processes as a Rational Monoid
Quick Look
Inducing syntactic cut-elimination for indexed nested sequents
Quick Look
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
Quick Look
The syntactic side of autonomous categories enriched over generalised metric spaces
Quick Look
A categorical semantics for causal structure
Quick Look
A Categorical Reconstruction of Quantum Theory
Quick Look
Cores of Countably Categorical Structures
Quick Look
Some model theory for the modal $mu$-calculus: syntactic characterisations of semantic properties
Quick Look
A Categorical Treatment of Open Linear Systems
Quick Look
Categorical composable cryptography: extended version
Quick Look
Strategies as Resource Terms, and their Categorical Semantics
Quick Look
Unified Discrete Diffusion for Categorical Data
Quick Look
Categorical Semantics of Compositional Reinforcement Learning
Quick Look
Categorical structures for type theory in univalent foundations
Load more items
View Record
Prev
Explore related channels
Next
