TY  - RPRT
TI  - Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store
AU  - Miriam Polzer
AU  - Sergey Goncharov
PY  - 2020
UR  - https://arxiv.org/abs/2003.05386
ID  - 2003.05386
ER  -