A type-theoretic semantics for $\lambda$-DRT

Author: Michael Kohlhase and Susanna Kuschert and Manfred Pinkal

Editor: P. Dekker and M. Stokhof