A Count Invariant for Lambek Calculus with Additives and Bracket Modalities.

Oriol Valentn, Daniel Serret, Glyn Morrill

Browse the full FG paper archive.