On the complexity of the Lambek-Grishin calculus

DSpace/Manakin Repository