The Polyadic ��-Calculus: a Tutorial', Report no (1991)

by R Milner