R. Ramanayake: "A deduction theorem for non-commutative Full Lambek calculus with contraction FLc"; Talk: TICAMORE Meeting/Workshop 3, Nancy; 2018-06-06 - 2018-06-08.