Sign In

Communications of the ACM

News

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