TY  - RPRT
TI  - Two Sides of the Same Proof: Extraction and Projection in Choreographic Programming
AU  - Matteo Acclavio
AU  - Giulia Manara
AU  - Fabrizio Montesi
AU  - Marco Peressotti
PY  - 2026
UR  - https://arxiv.org/abs/2610.29736
ID  - 2610.29736
ER  -