Linear logic
Girard, Jean-Yves
·
1987
·
Theoretical Computer Science
DOI
10.1016/0304-3975(87)90045-4