A novel approach to computational logic is reaching maturity, opening up opening up new vistas in programming languages, proof nets, and security applications.
Home → Magazine Archive → October 2010 (Vol. 53, No. 10) → Linear Logic → Abstract
No entries found
Log in to Read the Full Article
Purchase the Article