Moot, Richard and Piazza, Mario. 2000. “Linguistic Applications of First Order Intuitionistic Linear Logic.”Journal of Logic, Language, and Information 9(2): 211–232.
Moot, Richard and Puite, Quintijn. 2002. “Proof Nets for the Multimodal Lambek Calculus.”Studia Logica: An International Journal for Symbolic Logic 71(3): 415–442.