A Count Invariant for Lambek Calculus with Additives and Bracket Modalities | Publicación