TY  - RPRT
TI  - A Generic Type System for Higher-Order $Ψ$-calculi
AU  - Alex Rønning Bendixen
AU  - Bjarke Bredow Bojesen
AU  - Hans Hüttel
AU  - Stian Lybech
PY  - 2022
DO  - 10.4204/eptcs.368.3
UR  - https://arxiv.org/abs/2209.02354
ID  - 2209.02354
ER  -