Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4)

Marco Gaboardi, Shin-ya Katsumata. Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4). NII Shonan Meet. Rep., 2017, 2017. [doi]

Abstract

Abstract is missing.