Talk:Phase distinction

Can "By using a calculus based system, phase distinction removes the need to enforce linear logic between different types and terms of p/rogramming.[3]"

Be explained in a better way? Why does linear logic come into phase distinction here?