Skip to content
Channels - Differentials and distances in probabilistic coherence spaces :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Differentials and distances in probabilistic coherence spaces
Search for more channels:
Similar Items: Differentials and distances in probabilistic coherence spaces
Channel Options
View Record
Explore related channels
Quick Look
Coherent and finiteness spaces
Quick Look
A coherent differential PCF
Quick Look
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Quick Look
Probabilistic logics based on Riesz spaces
Quick Look
Coherent Presentations of Monoidal Categories
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
Algebraic coherent confluence and higher globular Kleene algebras
Quick Look
Infinite Probabilistic Databases
Quick Look
Probabilistic Algorithmic Knowledge
Quick Look
Unbalanced Kantorovich-Rubinstein distance, plan, and barycenter on nite spaces: A statistical perspective
Quick Look
A Coherence-Restoring Subspace Projection for Adaptive Array Spectral Estimation
Quick Look
QRB-Domains and the Probabilistic Powerdomain
Quick Look
Modelling Probabilistic Wireless Networks
Quick Look
Synthesis from Probabilistic Components
Quick Look
Refinement and Difference for Probabilistic Automata
Quick Look
Probabilistic call by push value
Quick Look
On Higher-Order Probabilistic Subrecursion
Quick Look
Approximating Queries on Probabilistic Graphs
Quick Look
Model Checking Probabilistic Pushdown Automata
Quick Look
Qualitative Logics and Equivalences for Probabilistic Systems
Quick Look
Cost Preserving Bisimulations for Probabilistic Automata
Load more items
View Record
Prev
Explore related channels
Next