Kohlhase, M. et al. 1995. A type-theoretic semantics for lambda-DRT. Proceedings of the Amsterdam Colloquium. (Dec. 1995), 479–498.