Some syntactical observations on linear logic (1991)

by Harold Schellinx
Venue:J. Log. Comput