TY  - RPRT
TI  - Transport via Partial Galois Connections and Equivalences
AU  - Kevin Kappelmann
PY  - 2025
DO  - 10.1007/978-981-99-8311-7_11
UR  - https://arxiv.org/abs/2303.05244
ID  - 2303.05244
ER  -