A Semantics for Propositions as Sessions
Abstract elided by the publisher.
Related papers
- Propositions as sessions JFP 2014
- Propositions as sessions ICFP 2012
- A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency OOPSLA 2022
- Propositions-as-types and shared state ICFP 2021
- Interconnectability of Session-Based Logical Processes TOPLAS 2018
- Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side POPL 2019
- Machine-checked semantic session typing CPP 2021
- Message-Observing Sessions OOPSLA 2024