A message-passing interpretation of adjoint logic

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

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (3)

Back to futures ⋮ Fairness and communication-based semantics for session-typed languages ⋮ Unnamed Item

Uses Software

• Pesca
• Alms

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