Adverbs in a Modern Type Theory

DOI10.1007/978-3-662-43742-1_4zbMath1291.03046OpenAlexW129061733MaRDI QIDQ4981267

Stergios Chatzikyriakidis

Publication date: 24 June 2014

Published in: Logical Aspects of Computational Linguistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-43742-1_4

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (3)

Adjectival and adverbial modification: the view from modern type theories ⋮ Natural language inference in Coq ⋮ A computational treatment of anaphora and its algorithmic implementation

This page was built for publication: Adverbs in a Modern Type Theory