Tower-Complete Problems in Contraction-Free Substructural Logics.

Hiromi Tanaka

Browse the full CSL paper archive.