Linear logic

Girard, Jean-Yves

doi:10.1016/0304-3975(87)90045-4

Record: found
Abstract: not found
Article: not found

Linear logic

Author(s): Jean-Yves Girard

Publication date Created: 1987

Publication date (Print): 1987

Journal: Theoretical Computer Science

Read this article at

ScienceOpenPublisher

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

Related collections

Author and article information

Journal

Title: Theoretical Computer Science

Abbreviated Title: Theoretical Computer Science

ISSN (Print): 03043975

Publication date Created: 1987

Publication date (Print): 1987

Volume: 50

Issue: 1

Pages: 1-101

Article

DOI: 10.1016/0304-3975(87)90045-4

SO-VID: aebe1b8e-e80f-4173-b42f-d5f601113632

License:

http://www.elsevier.com/tdm/userlicense/1.0/

History

Data availability:

Linear logic

Read this article at

Abstract

Related collections

ScienceOpen Research

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 1,156

Cited by 475