Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
scientific article; zbMATH DE number 1853115