TY  - RPRT
TI  - System $F^μ_ω$ with Context-free Session Types
AU  - Diana Costa
AU  - Andreia Mordido
AU  - Diogo Poças
AU  - Vasco T. Vasconcelos
PY  - 2023
UR  - https://arxiv.org/abs/2301.08659
ID  - 2301.08659
ER  -