Concepedia

Publication | Closed Access

Linear logic

DOI

4K

Citations

3

References

1987

Year

Jean-Yves Girard
Theoretical Computer Science

References

YearCitations

Page 1