A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of descriptionEasyChair Preprint 1516, version history
Keyphrases: Coq, compositionality, morphology, natural language, semantics, syntax, type theory |