TY  - RPRT
TI  - The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations
AU  - Grigory Kondyrev
AU  - David I. Spivak
PY  - 2025
UR  - https://arxiv.org/abs/2509.05462
ID  - 2509.05462
ER  -