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 |
| Sumario: | 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, security applications, and quantum physics. Information is provided on the history of the relationship between logic and computer science, as well as on proof systems, fundamental principles of linear logic, and game semantics. |
|---|