Related Topics
Publications (1)

1Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets2000  Sylvain Pogodallabut it has a quadratic complexity (less than the matrix computation). In this case, it is correct. Note: • Actually...Benthem and Alice ter Meulen, editors, Handbook of Logic attd Language, pages 591. Elsevier Science Publishers, Amsterdam...