TY  - RPRT
TI  - Separation Logic of Generic Resources via Sheafeology
AU  - Berend van Starkenburg
AU  - Henning Basold
AU  - Chase Ford
PY  - 2025
UR  - https://arxiv.org/abs/2508.01866
ID  - 2508.01866
ER  -