Can "By using a calculus based system, phase distinction removes the need to enforce linear logic between different types and terms of p/rogramming."
Be explained in a better way? Why does linear logic come into phase distinction here?
Start a discussion about improving the Phase distinction page
Talk pages are where people discuss how to make content on Wikipedia the best that it can be. You can use this page to start a discussion with others about how to improve the "Phase distinction" page.