A type-theoretic semantics for $\lambda$-DRT
Autor: Michael Kohlhase and Susanna Kuschert and Manfred Pinkal
Herausgeber: P. Dekker and M. Stokhof