Principal typing for parallel and non-deterministic lambda-caculus - Aoun, Ali S. (Array, 1997)