TY  - RPRT
TI  - Subtyping Context-Free Session Types
AU  - Gil Silva
AU  - Andreia Mordido
AU  - Vasco T. Vasconcelos
PY  - 2023
DO  - 10.4230/lipics.concur.2023.11
UR  - https://arxiv.org/abs/2307.05661
ID  - 2307.05661
ER  -