TY - RPRT TI - First order linear logic and tensor type calculus for categorial grammars AU - Sergey Slavnov PY - 2021 UR - https://arxiv.org/abs/2112.15253 ID - 2112.15253 ER -