https://deepai.org/publication/local-local-reasoning-a-bi-hyperdoctrine-for-full-ground-store
Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store | DeepAI
Mar 11, 2020 - 03/11/20 - Modelling and reasoning about dynamic memory allocation is one of the well-established strands of theoretical computer science, wh...
a bilocalreasoninghyperdoctrinefull