A new deconstructive logic: Linear logic (1997)

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