TY  - RPRT
TI  - Formalizing Monoidal Categories and Actions for Syntax with Binders
AU  - Benedikt Ahrens
AU  - Ralph Matthes
AU  - Kobe Wullaert
PY  - 2023
UR  - https://arxiv.org/abs/2307.16270
ID  - 2307.16270
ER  -