A Generic Type System for Higher-Order $\Psi$-calculi

Alex Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel +1

The Higher-Order $\Psi$-calculus framework (HO$\Psi$) is a generalisation of many first- and higher-order extensions of the $\pi$-calculus. It was proposed by Parrow et al. who showed that…