TY  - RPRT
TI  - On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)
AU  - Ugo Dal Lago
AU  - Davide Davoli
AU  - Bruce M. Kapron
PY  - 2024
UR  - https://arxiv.org/abs/2405.11987
ID  - 2405.11987
ER  -