TY  - RPRT
TI  - Comparing Session Type Systems derived from Linear Logic
AU  - Bas van den Heuvel
AU  - Jorge A. Pérez
PY  - 2024
UR  - https://arxiv.org/abs/2401.14763
ID  - 2401.14763
ER  -