Skip to content
<title>Channels - Coherent and finiteness spaces :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Coherent and finiteness spaces
Search for more channels:
Similar Items: Coherent and finiteness spaces
Channel Options
View Record
Explore related channels
Quick Look
Differentials and distances in probabilistic coherence spaces
Quick Look
Coherent Presentations of Monoidal Categories
Quick Look
A coherent differential PCF
Quick Look
String diagrams for Strictification and Coherence
Quick Look
Rewriting techniques for relative coherence
Quick Look
Logical relations for coherence of effect subtyping
Quick Look
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
Quick Look
Finite dimensional Hilbert spaces are complete for dagger compact closed categories
Quick Look
Algebraic coherent confluence and higher globular Kleene algebras
Quick Look
A Coherence-Restoring Subspace Projection for Adaptive Array Spectral Estimation
Quick Look
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
Quick Look
On streams that are finitely red
Quick Look
Admissibility in Finitely Generated Quasivarieties
Quick Look
Finite state verifiers with constant randomness
Quick Look
The Complexity of Bisimulation and Simulation on Finite Systems
Quick Look
Characterising Testing Preorders for Finite Probabilistic Processes
Quick Look
A rich hierarchy of functionals of finite types
Quick Look
Alternating register automata on finite words and trees
Quick Look
Finite choice, convex choice and finding roots
Quick Look
Proper Functors and Fixed Points for Finite Behaviour
Quick Look
Reasoning with Finite Sets and Cardinality Constraints in SMT
Quick Look
Synchronizability of Communicating Finite State Machines is not Decidable
Quick Look
The Pebble-Relation Comonad in Finite Model Theory
Quick Look
Automata Linear Dynamic Logic on Finite Traces
Load more items
View Record
Prev
Explore related channels
Next
