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