Skip to content
<title>Channels - A Categorical Treatment of Open Linear Systems :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
A Categorical Treatment of Open Linear Systems
Search for more channels:
Similar Items: A Categorical Treatment of Open Linear Systems
Channel Options
View Record
Explore related channels
Quick Look
Dagger linear logic for categorical quantum mechanics
Quick Look
Categorical Proof Theory of Co-Intuitionistic Linear Logic
Quick Look
A Categorical Approach to Syntactic Monoids
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
Strategies as Resource Terms, and their Categorical Semantics
Quick Look
Categorical composable cryptography: extended version
Quick Look
Unified Discrete Diffusion for Categorical Data
Quick Look
Categorical Semantics of Compositional Reinforcement Learning
Quick Look
The categorical contours of the Chomsky-Schützenberger representation theorem
Quick Look
Environment and classical channels in categorical quantum mechanics
Quick Look
On some categorical-algebraic conditions in S-protomodular categories
Quick Look
Categorical structures for type theory in univalent foundations
Quick Look
A categorical account of composition methods in logic (extended version)
Quick Look
A categorical characterization of relative entropy on standard Borel spaces
Quick Look
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
Quick Look
A categorical framework for congruence of applicative bisimilarity in higher-order languages
Quick Look
Relating Reversible Petri Nets and Reversible Event Structures, categorically
Quick Look
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
Quick Look
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
Quick Look
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
Quick Look
Definability of linear equation systems over groups and rings
Quick Look
Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems
Load more items
View Record
Prev
Explore related channels
Next
