TY  - RPRT
TI  - Retractors in local positive logic
AU  - Arturo Rodriguez Fanlo
AU  - Ori Segel
PY  - 2025
UR  - https://arxiv.org/abs/2404.16971
ID  - 2404.16971
ER  -