TY  - RPRT
TI  - On Circuit Description Languages, Indexed Monads, and Resource Analysis
AU  - Ken Sakayori
AU  - Andrea Colledan
AU  - Ugo Dal Lago
PY  - 2025
UR  - https://arxiv.org/abs/2511.22419
ID  - 2511.22419
ER  -