@misc{indiciaea24a1b6bb99d,
  title = {System \$F\textasciicircum{}μ\_ω\$ with Context-free Session Types},
  author = {Diana Costa and Andreia Mordido and Diogo Poças and Vasco T. Vasconcelos},
  year = {2023},
  url = {https://arxiv.org/abs/2301.08659},
  note = {Source identifier: 2301.08659}
}