Linear logic

• Jean-Yves Girard

Journal

• Theoretical Computer Science

  Theoretical Computer Science 50 (1), 1-101, 1987

  Elsevier BV

Keywords

• General Computer Science
• Theoretical Computer Science

Details

• CRID: 1360292618536214144
• NII Article ID: 30006148182
• DOI: 10.1016/0304-3975(87)90045-4
• ISSN: 03043975
• Web Site: https://api.elsevier.com/content/article/PII:0304397587900454?httpAccept=text/xml
• Web Site: https://api.elsevier.com/content/article/PII:0304397587900454?httpAccept=text/plain
• Data Source:
  • Crossref
  • CiNii Articles