Search Results - Sam Lindley
- Showing 1 - 2 results of 2
-
1
Sessions as Propositions by Sam Lindley, J. Garrett Morris
Published in Electronic Proceedings in Theoretical Computer Science (2014-06-01)Get full text
Article -
2
Separating Sessions Smoothly by Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Published in Logical Methods in Computer Science (2023-07-01)Get full text
Article