A message-passing interpretation of adjoint logic
From MaRDI portal
Publication:2035649
DOI10.1016/j.jlamp.2020.100637OpenAlexW3113536295MaRDI QIDQ2035649
Klaas Pruiksma, Frank Pfenning
Publication date: 25 June 2021
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1904.01290
Related Items (3)
Back to futures ⋮ Fairness and communication-based semantics for session-typed languages ⋮ Unnamed Item
Uses Software
Cites Work
- Fundamentals of session types
- Relating state-based and process-based concurrency through linear logic (full-version)
- Polarized Substructural Session Types
- Linearity, Control Effects, and Behavioral Types
- Session Types as Intuitionistic Linear Propositions
- Propositions as sessions
- Linear type theory for asynchronous session types
- Adjoint Logic with a 2-Category of Modes
- Higher-Order Processes, Functions, and Sessions: A Monadic Integration
- A simple library implementation of binary sessions
- Practical affine types
- Linear logic propositions as session types
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A message-passing interpretation of adjoint logic