Talk:Phase distinction

WikiProject Computing  
WikiProject iconThis article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
??? This article has not yet received a rating on the project's quality scale.
 ???  This article has not yet received a rating on the project's importance scale.
 

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?

Start a discussion about improving the Phase distinction page

Start a discussion