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}
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}