A generic type system for the pi-calculus
scientific article; zbMATH DE number 2111020
scientific article