TY  - RPRT
TI  - Tensorial structure of the lifting doctrine in constructive domain theory
AU  - Jonathan Sterling
PY  - 2025
UR  - https://arxiv.org/abs/2312.17023
ID  - 2312.17023
ER  -