Related Topics
Publications (1)

1Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets2000  Sylvain PogodallaFor instance, on the semantic side, we can use the Montagovian types e and t and typed constants. Of course, we want to... but it has a quadratic complexity (less than the matrix computation). In this case, it is correct. Note: • Actually...