This article has not yet been rated on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||
|
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?