Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution
type: Item
instance of: scholarly article
title: Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution
zbMATH Open document ID: 1485.03068
DOI: 10.1007/978-3-662-53826-5_10
author: Hans Leiß
author: Shuqian Wu
published in: Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)
publication date: 2017-02-22T00:00:00Z
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 91F20
zbMATH DE Number: 6688001
zbMATH Keywords: pronoun resolution
zbMATH Keywords: discourse representation theory
zbMATH Keywords: \(\lambda\)-DRT
zbMATH Keywords: type reconstruction
zbMATH Keywords: principal types
describes a project that uses: Naproche
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-662-53826-5 10
OpenAlex ID: W2550045945
cites work: Representing Anaphora with Dependent Types
cites work: Handbook of Linguistic Annotation
cites work: The language of mathematics. A linguistic and philosophical investigation
cites work: The Principal Type-Scheme of an Object in Combinatory Logic
cites work: A calculus for first order discourse representation structures
cites work: Resolving Plural Ambiguities by Type Reconstruction
cites work: Q4843182
cites work: Q5691524
description: scientific article; zbMATH DE number 6688001