Skip to content
<title>Channels - Logical relations for coherence of effect subtyping :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Logical relations for coherence of effect subtyping
Search for more channels:
Similar Items: Logical relations for coherence of effect subtyping
Channel Options
View Record
Explore related channels
Quick Look
Rewriting techniques for relative coherence
Quick Look
Coherent and finiteness spaces
Quick Look
Logical Step-Indexed Logical Relations
Quick Look
Coherent Presentations of Monoidal Categories
Quick Look
A coherent differential PCF
Quick Look
String diagrams for Strictification and Coherence
Quick Look
On the Preciseness of Subtyping in Session Types
Quick Look
Fair Asynchronous Session Subtyping
Quick Look
Simplifying explicit subtyping coercions in a polymorphic calculus with effects
Quick Look
Differentials and distances in probabilistic coherence spaces
Quick Look
Modal Logics of Topological Relations
Quick Look
Relational Parametricity and Separation Logic
Quick Look
Graph Logics with Rational Relations
Quick Look
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
Quick Look
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
Quick Look
Algebraic coherent confluence and higher globular Kleene algebras
Quick Look
Proof-Relevant Logical Relations for Name Generation
Quick Look
Two-Variable Logic with Two Order Relations
Quick Look
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Quick Look
Alignment complete relational Hoare logics for some and all
Quick Look
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
Quick Look
A Coherence-Restoring Subspace Projection for Adaptive Array Spectral Estimation
Quick Look
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
Quick Look
The mediation effect of general self-efficacy in relation to procrastination and sense of coherence among adults with attention deficit hyperactivity disorder
Load more items
View Record
Prev
Explore related channels
Next
