hide Files
:
iris-from-the-ground-up-a-modular-foundation-for-higher-order-concurrent-separation-logic.pdf (Publisher version), 803KB
Name:
iris-from-the-ground-up-a-modular-foundation-for-higher-order-concurrent-separation-logic.pdf
Description:
-
OA-Status:
Visibility:
Public
MIME-Type / Checksum:
application/pdf / [MD5]
Copyright Date:
-
Copyright Info:
©The Author(s) 2018. Published by Cambridge University Press. This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.
org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
doi:10.1017/S0956796818000151
License:
-