2 citations · 10 across the 16 of their papers we have counts for
1 paper · 2 filters
Tikhon Pshenitsyn
The Lambek calculus is a substructural logic known to be closely related to the formal language theory: on the one hand, it is used for generating formal languages by means of cate…