Related Topics
Publications (1)

1Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets2000  Sylvain Pogodallaand a lot of work has presented proof nets uses for linguistic purposcs, with a special look at proof nets for Lambek calculus... but it has a quadratic complexity (less than the matrix computation). In this case, it is correct. Note: • Actually...