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