TY  - RPRT
TI  - Logical Relations for Session-Typed Concurrency
AU  - Stephanie Balzer
AU  - Farzaneh Derakhshan
AU  - Robert Harper
AU  - Yue Yao
PY  - 2026
UR  - https://arxiv.org/abs/2309.00192
ID  - 2309.00192
ER  -