Extended Lambek Calculi and First-Order Linear Logic
scientific article; zbMATH DE number 6293317
scientific article