Linear logic

@article{linearlogic-tcs50,
Author = {Girard, Jean-Yves},
Issn = {0304-3975},
Journal = {Theoretical Computer Science},
Number = 1,
Pages = {1--102},
Publisher = {North Holland, Amsterdam},
Title = {Linear logic},
Volume = 50,
Year = 1987}

Tags:

Publications

Home
Search
All

Publications / Views

Home

Clouds
• tags • authors • editors • journals

Year
• 2023 • 2022 • 2021 • 2020 • 2019 • 2018 • 2017 • 2016 • 2015 • 2014–1927

Sort
• in journal • in proc • chapters • books • edited • spec issues • editorials • entries • manuals • tech reps • phd th • others

Status
• online • in press • proof • camera-ready • revised • accepted • revision • submitted • draft • note

Services
• ACM Digital Library • DBLP • IEEE Xplore • IRIS • PubMed • Google Scholar • Scopus • Semantic Scholar • Web of Science • DOI

Publication

Linear logic

— authors

Jean-Yves Girard

— status

published

— sort

article in journal

— publication date

1987

— journal

Theoretical Computer Science

— volume

— issue

— pages

1-102

— number of pages

identifiers

— print ISSN

0304-3975