J. Gallier. Constructive Logics, Part 2: Linear Logic and Proof Nets. Research Report Digital Paris Research Laboratory, No 0, May 1991.
[ Typetheory ]
@TechReport{gallier91b,
Author = {Gallier, J.},
Title = {Constructive Logics, Part 2: Linear Logic and Proof Nets},
Number = {0},
Institution = {Digital Paris Research Laboratory},
Month = {May},
Year = {1991}
}
Get EndNote Reference (.ref)