TY  - RPRT
TI  - Folding interpretations
AU  - Mikołaj Bojańczyk
PY  - 2023
UR  - https://arxiv.org/abs/2301.05101
ID  - 2301.05101
ER  -