\(\pi\)-calculus in (Co)inductive-type theory
scientific article; zbMATH DE number 1542391