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

EasyChair Preprint no. 1516, version history

VersionDatePagesVersion notes
1September 14, 201910
2September 25, 201910

This is the final version, accepted to RANLP 2019 (http://lml.bas.bg/ranlp2019)

Keyphrases: compositionality, Coq, 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 no. 1516},

  year = {EasyChair, 2019}}