@dblp

A Semantics for Propositions as Sessions.

, and . ESOP, volume 9032 of Lecture Notes in Computer Science, page 560-584. Springer, (2015)

Links and resources

URL:
BibTeX key:
conf/esop/LindleyM15
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication