A Semantics for Propositions as Sessions.

Sam Lindley, J. Garrett Morris

Browse the full ESOP paper archive.