TY  - RPRT
TI  - Differential 2-rigs
AU  - Fosco Loregian
AU  - Todd Trimble
PY  - 2023
DO  - 10.4204/eptcs.380.10
UR  - https://arxiv.org/abs/2103.00938
ID  - 2103.00938
ER  -