A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description

19737
Back to Articles Dashboard

Knowledge Triples

Source Entity Relationship Target Entity
NLC

OtherEntity

 implementedIn
Coq

OtherEntity
NLC

OtherEntity

 integrates
NLC

OtherEntity

 integrates
NLC

OtherEntity

 integrates
NLC

OtherEntity

 isA