Geometry of grammar: exercices in lambek style

Tesis doctoral de Mario Fadda This thesis studies proof nets for several variants of the lambek calculus and their classical […]

, , , , ,