Robuta

https://arxiv.org/abs/2508.01866 [2508.01866] Separation Logic of Generic Resources via Sheafeology Abstract page for arXiv paper 2508.01866: Separation Logic of Generic Resources via Sheafeology separation logic generic resources via