Logic Without Structural Rules (1990)

by J Lambek
Venue:In [Doˇsen & Schröder-Heister 93