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

EasyChair Preprint 1516, version history

Version	Date	Pages	Version notes
1	September 14, 2019	10
2	September 25, 2019	10	This is the final version, accepted to RANLP 2019 (http://lml.bas.bg/ranlp2019)

Keyphrases: Coq, compositionality, morphology, natural language, semantics, syntax, type theory

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@booklet{EasyChair:1516,
  author    = {Erkki Luuk},
  title     = {A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description},
  howpublished = {EasyChair Preprint 1516},
  year      = {EasyChair, 2019}}