Home → Magazine Archive → October 2010 (Vol. 53, No. 10) → Linear Logic → Abstract

Linear Logic

By Alex Wright

Communications of the ACM, Vol. 53 No. 10, Pages 11-13

[article image]

A novel approach to computational logic is reaching maturity, opening up opening up new vistas in programming languages, proof nets, and security applications.

The full text of this article is premium content


No entries found