A novel approach to computational logic is reaching maturity, opening up opening up new vistas in programming languages, proof nets, and security applications.
advertisement
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
10.1145/1831407.1831413
![[article image]](https://cacm.acm.org/system/assets/0000/3859/092010_CACMpg11_Linear-Logic1.large.jpg?1476779423&1285073810 "Logician Jean-Yves Girard")
0 Comments
No entries found
Log in to Read the Full Article
Purchase the Article