Here are some corrections for the Information and Computation version
of the paper " An interpretation of Typed Objects into Typed
pi-calculus", D. Sangiorgi, Information and Computation, 143 (1),
1998.  Thanks to Dirk Draheim for pointing them out.


-- the type assignment page 35 should be
    p:<Sr,Tw>b , q:Sr , r:Tw , v:T

--  A-Case rule on page 46. 
    There is an obviour typo in the printing: 
    the conclusion should be:

    \Sigma |- [\ell 1_S1 .. \ell n_Sn] <= [\ell 1_T1 .. \ell n+m_Tn+m]