Skip to content
<title>Channels - Circular Proofs as Session-Typed Processes: A Local Validity Condition :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Circular Proofs as Session-Typed Processes: A Local Validity Condition
Search for more channels:
Similar Items: Circular Proofs as Session-Typed Processes: A Local Validity Condition
Channel Options
View Record
Explore related channels
Quick Look
Computational expressivity of (circular) proofs with fixed points
Quick Look
Timed Session Types
Quick Look
Parameterised Multiparty Session Types
Quick Look
Modular session types for objects
Quick Look
On the Preciseness of Subtyping in Session Types
Quick Look
Relating Functional and Imperative Session Types
Quick Look
On Global Types and Multi-Party Session
Quick Look
Deconfined Global Types for Asynchronous Sessions
Quick Look
FTMPST: Fault-Tolerant Multiparty Session Types
Quick Look
Rast: A Language for Resource-Aware Session Types
Quick Look
Using higher-order contracts to model session types
Quick Look
Crash-Stop Failures in Asynchronous Multiparty Session Types
Quick Look
A Session Type System for Asynchronous Unreliable Broadcast Communication
Quick Look
On the strength of proof-irrelevant type theories
Quick Look
A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
Quick Look
Coinductive Proof Principles for Stochastic Processes
Quick Look
Affine Sessions
Quick Look
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
Quick Look
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Quick Look
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
Quick Look
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
Quick Look
Reduction Free Normalisation for a proof irrelevant type of propositions
Quick Look
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
Quick Look
Multiparty Session Actors
Load more items
View Record
Prev
Explore related channels
Next
