Connection Graphs
material
ID: connectiongraphs
Related Papers
Towards efficient parsing with proof-nets
This paper presents a method for parsing associative Lambek grammars based on graph- theoretic properties. Connection graphs, which are a simplified version of proof-nets, are actually a mere conservative extension …...