A general framework for hybrid substructural categorial logics (1993)

by M Hepple
Venue:Ms, IRCS, UPenn. Available as IRCS Report