Substructural Observed Communication Semantics
-
Published:2020-08-27
Issue:
Volume:322
Page:69-87
-
ISSN:2075-2180
-
Container-title:Electronic Proceedings in Theoretical Computer Science
-
language:en
-
Short-container-title:Electron. Proc. Theor. Comput. Sci.
Affiliation:
1. Carnegie Mellon University
Publisher
Open Publishing Association
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Back to futures;Journal of Functional Programming;2022