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

EasyChair Preprint 1516, version history

VersionDatePagesVersion 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}}