Kohlhase, Michael, et al. “A Type-Theoretic Semantics for Lambda-DRT”. Proceedings of the Amsterdam Colloquium, Dec. 1995, pp. 479-98, https://platform.openjournals.nl/PAC/article/view/24652.