TY - RPRT TI - Sharing and Linear Logic with Restricted Access (Extended Version) AU - Pablo Barenbaum AU - Eduardo Bonelli PY - 2025 UR - https://arxiv.org/abs/2501.16576 ID - 2501.16576 ER -