Proof Nets
method
ID: proofnets
Outgoing Relationships
| Relationship | Target Entity | Type | Actions |
|---|---|---|---|
| integrates | Lexico-Syntactic Interface | otherentity | View |
| relatedTo | LinearLogic | method | View |
| relatedTo | Dependency Grammars | method | View |
| usedFor | Categorial Grammars | material | View |