Sorts and Types in the π Calculus,” manuscript (RM15 (1990)

by R Milner