On the Expressivity of Typed Concurrent Calculi. - Joseph William Neal Paulus (CoRR, 2024)