A type-theoretic semantics for lambda-DRT

Authors

  • Michael Kohlhase Universität des Saarlandes Author
  • Susanna Kuschert Universität des Saarlandes Author
  • Manfred Pinkal Universität des Saarlandes Author

Abstract

-

Downloads

Download data is not yet available.

Published

1995-12-01

Issue

1995: Proceedings of the 10th Amsterdam Colloquium

Section

Conference Proceedings

License

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

Kohlhase, M., Kuschert, S., & Pinkal, M. (1995). A type-theoretic semantics for lambda-DRT. Proceedings of the Amsterdam Colloquium, 479-498. https://platform.openjournals.nl/PAC/article/view/24652