?
Light linear logics with controlled weakening: Expressibility, confluent strong normalization
Annals of Pure and Applied Logic. 2012. Vol. 167. No. 7. P. 854-874.
Канович М. И.
Язык:
английский