Sign In

Communications of the ACM


Linear Logic

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.

The full text of this article is premium content


No entries found

Read CACM in a free mobile app!
Access the latest issue, plus archived issues and more
ACM Logo
  • ACM CACM apps available for iPad, iPhone and iPod Touch, and Android platforms
  • ACM Digital Library apps available for iOS, Android, and Windows devices
  • Download an app and sign in to it with your ACM Web Account
Find the app for your mobile device