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...
| Publicado en: | Communications of the ACM Vol. 53; no. 10; pp. 11 - 14 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Oct2010
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |