Year: 1987
Title: Linear Logic
Journal: Theoretical Computer Science, 50, 1-102
Comments: Proposes Linear Logic as an interesting Logic. It is interesting due to the properties of its proof nets and the complexity of its proofs.
Keywords: PROOFS, LOGIC, COMPUTATIONAL,
| Top | Authors | Journals | Years | Keywords | Search | New | Comments |