Substructural Logic of Proofs.

Hidenori Kurokawa, Hirohiko Kushida

Browse the full WoLLIC paper archive.