Type Reconstruction for lambda -DRT Applied to Pronoun Resolution. - Hans Leiß; Shuqian Wu (LACL, 2016)