@misc{indiciae6ce5f369988f,
  title = {A Generic Type System for Higher-Order \$Ψ\$-calculi},
  author = {Alex Rønning Bendixen and Bjarke Bredow Bojesen and Hans Hüttel and Stian Lybech},
  year = {2022},
  doi = {10.4204/eptcs.368.3},
  url = {https://arxiv.org/abs/2209.02354},
  note = {Source identifier: 2209.02354}
}