Text Size
- Home
-
News
Advanced computing news from Communications of the ACM, other ACM resources, and from around the Web.
- Blogs
- Opinion
-
Browse by Subject
Recent articles from Communications organized into categories that encompass the broad scope of computing.
-
Magazine Archive
-
Careers
Jump-start your career with information on trends, opportunities and jobs – in both industry and academia.
- ACM Resources
-
Subscribe
Receive the benefits of ACM membership with a subscription to its flagship publication, Communications of the ACM.
News
Linear Logic
![[article image]](/system/assets/0000/3859/092010_CACMpg11_Linear-Logic1.large.jpg?1285073811&1285073810 "Logician Jean-Yves Girard")
Logician Jean-Yves Girard, author of the seminal paper "Linear Logic."
Credit: Anne Van Der Stegen
A novel approach to computational logic is reaching maturity, opening up opening up new vistas in programming languages, proof nets, and security applications.
Read the Full Article:
Tools For Readers
Text Size
Related ACM Resources
Conferences:
- ICSE 2012: 34th International Conference on Software Engineering - June 2 – 9, 2012; Zurich, Switzerland
Courses:
- Interconnecting Cisco Networking Devices Part 1 (ICND1) v1.0 - This course is a starting point for learning to support a network, regardless of its size and complexity. It provides the knowledge and skills necessary …
About Communications |
Join ACM 
|
Renew |
Subscribe |
Sign In |
For Authors |
For Advertisers |
Privacy |
Site Map |
Help |
Contact Us |
Mobile Site
Copyright © 2012 by the ACM. All rights reserved.