On the fine structure of the exponential rule (1995)

by S Martini, A Masini
Venue:Advances in Linear Logic