The Polyadic ss-Calculus: a Tutorial (1991)

by Robin Milner