Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account

DOI10.1007/S10849-019-09280-9zbMath1477.03109OpenAlexW2910814505MaRDI QIDQ2425324

Justyna Grudzińska, Marek W. Zawadowski

Publication date: 26 June 2019

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-019-09280-9

zbMATH Keywords

dependent typeHaddock descriptioninverse linkingpossessive weak definite

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adjectival and adverbial modification: the view from modern type theories
• Whence long-distance indefinite readings? Solving Chierchia's puzzle with dependent types
• Representing Anaphora with Dependent Types

This page was built for publication: Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account