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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 53; no. 10; pp. 11 - 14
Autor principal:	Wright, Alex
Formato:	Artículo
Publicado:	Association for Computing Machinery Oct2010
Materias:	Logic Girard, Jean-Yves Computer logic Logicians Computer science Computer programming
Acceso en línea:	Ver este registro en EBSCOhost