A new deconstructive logic: Linear logic (1997)

by V Danos, J-B Joinet, H Schellinx
Venue:Journal of Symbolic Logic