Linear Logic.

An article is presented that reports on computational logic and developments in computer programming in 2010. The article discusses approaches to computation logic proposed by logician Jean-Yves Girard, describing how his principles can be expanded into fields including programming languages, securi...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 53; no. 10; pp. 11 - 14
Main Author:	Wright, Alex
Format:	Article
Published:	Association for Computing Machinery Oct2010
Subjects:	Logic Girard, Jean-Yves Computer logic Logicians Computer science Computer programming
Online Access:	View this record in EBSCOhost