Type reconstruction for -DRT applied to pronoun resolution

DOI10.1007/978-3-662-53826-5_10zbMATH Open1485.03068OpenAlexW2550045945MaRDI QIDQ2964002FDOQ2964002

Authors: Hans Leiß, Shuqian Wu 

Publication date: 22 February 2017

Published in: Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-53826-5_10

Recommendations

• Resolving plural ambiguities by type reconstruction
• A model-theoretic reconstruction of type-theoretic semantics for anaphora
• scientific article; zbMATH DE number 1301754
• Publication:4866983
• scientific article; zbMATH DE number 4106818

zbMATH Keywords

type reconstructionprincipal typesdiscourse representation theory\(\lambda\)-DRTpronoun resolution

Mathematics Subject Classification ID

Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40) Linguistics (91F20)

Cites Work

• The Principal Type-Scheme of an Object in Combinatory Logic
• The language of mathematics. A linguistic and philosophical investigation
• Title not available (Why is that?)
• A calculus for first order discourse representation structures
• Handbook of Linguistic Annotation
• Representing Anaphora with Dependent Types
• Resolving plural ambiguities by type reconstruction
• Title not available (Why is that?)

Cited In (1)

• Resolving plural ambiguities by type reconstruction

Uses Software

• Naproche

This page was built for publication: Type reconstruction for \(\lambda\)-DRT applied to pronoun resolution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2964002)