Calculus, multiplicities and the ��-calculus, INRIA Res (1995)

by G Boudol, C Laneve