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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=55028286&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 55028286 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Oct2010 vid: 53 iid: 10 pid: 68 pub: Association for Computing Machinery artinfo: ui: 55028286 10.1145/1831407.1831413 ppf: 11 ppct: 3 formats: tig: atl: Linear Logic. aug: au: Wright, Alex su: Logic Girard, Jean-Yves Computer logic Logicians Computer science Computer programming sug: subj: Logic Girard, Jean-Yves Computer logic Logicians Computer science Computer programming ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2010 holdings: @attributes: islocal: N |
|---|