TY  - RPRT
TI  - Encoding call-by-push-value in the pi-calculus
AU  - Benjamin Bennetzen
AU  - Nikolaj Rossander Kristensen
AU  - Peter Buus Steffensen
PY  - 2025
UR  - https://arxiv.org/abs/2506.10584
ID  - 2506.10584
ER  -