Functor-argument structures for the meaning of natural language sentences and their formal interpretation

  • Bernd Mahr
  • Carla Umbach
III. Sorts And Types In Natural Language (Understanding) Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 418)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Busemann/Hauenschild, 89]
    S.Busemann, Ch.Hauenschild: From FAS Representations to GPSG Structures. In: [Busemann et al. 89].Google Scholar
  2. [Busemann et al. 89]
    S.Busemann, Ch.Hauenschild, C.Umbach (eds): Views of the Syntax Semantics Interface, TU Berlin KIT-Report 74, 1989.Google Scholar
  3. [Ehrig/Mahr, 85]
    H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1, Springer Verlag, Berlin, 1985.MATHGoogle Scholar
  4. [Geach, 71]
    P. Geach: A Program for Syntax, Synthese 22, 1971, 3–17.CrossRefGoogle Scholar
  5. [GKPS, 85]
    G. Gazdar, E. Klein, G. Pullum, I. Sag: Generalized Phrase Structure Grammar, Blackwell, Oxford, 1985.Google Scholar
  6. [Goguen/Thatcher/Wagner, 76]
    J.A.Goguen, J.W.Thatcher, E.G.Wagner: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, IBM Research Report RC 6487, 1976.Google Scholar
  7. [Goguen/Thatcher/Wagner/Wright, 77]
    J.A.Goguen, J.W.Thatcher, E.G.Wagner, J.B.Wright: Initial Algebra Semantics and Continuous Algebras, Journal of the ACM 24, 1977.Google Scholar
  8. [Hauenschild, 86]
    Ch. Hauenschild: KIT-NASEV oder die Problematik des Transfers bei der maschinellen Übersetzung. In: I. Batori, H.J. Weber (eds.): Neue Ansätze in maschineller Sprachübersetzung: Wissensrepräsentation und Textbezug, Niemeyer, Tübingen, 1986, 167–195.Google Scholar
  9. [Hauenschild/Busemann, 88]
    Ch. Hauenschild, S. Busemann: A Constructive Version of GPSG for Machine Translation. In: E. Steiner, P. Schmidt, C. Zelinsky-Wibbelt (eds.): From Syntax to Semantics, Pinter Publishers, London, 1988.Google Scholar
  10. [Hauenschild/Umbach, 88]
    Ch. Hauenschild, C. Umbach: Funktor-Argument-Struktur. Die satzsemantische Repräsentations-und Transferebene im Projekt KIT-FAST. In: J.Schütz (ed.): Workshop “Semantik und Transfer”. IAI Working Papers Nr. 6, Saarbrücken, 1988.Google Scholar
  11. [Kratzer/Pause/Stechow, 73]
    A. Kratzer, E. Pause, A. v.Stechow: Einführung in Theorie und Anwendung der generativen Syntax, Athenäum, Frankfurt/M, 1973.Google Scholar
  12. [Lambek, 58]
    J. Lambek: The Mathematics of Sentence Structure, In: American Mathematican Monthly 65, 1958, 154–169.MathSciNetCrossRefGoogle Scholar
  13. [Milner, 84]
    R.Milner: The Standard ML Core Language, Edinburgh University Internal Report CSR-168-84, 1984.Google Scholar
  14. [Möller/Tarlecki/Wirsing, 88]
    B.Möller, A.Tarlecki, M.Wirsing: Algebraic Specification with Buildt-In Domain Constructions. Lecture Notes in Computer Science 295, Springer Verlag, 1988.Google Scholar
  15. [Montague, 70]
    R. Montague: Universal Grammar, in: Theoria 36, 1970, 373–398; Reprinted in: H. Thomason (ed.): Formal Philosophy, Selected Papers of Richard Montague, Yale University Press, New Haven, 1974, 222–246.Google Scholar
  16. [Moortgat, 88]
    M. Moortgat: Categorial Investigations, Logical and Linguistical Aspects of the Lambek Calculus, Dissertation, Amsterdam, 1988Google Scholar
  17. [Partee/Rooth, 83]
    B. Partee, M. Rooth: Generalized Conjunctions and Type Ambiguity. In: R. Bäuerle, Ch. Schwarze, A.v. Stechow (eds.), Meaning, Use and Interpretation of Language, de Gruyter, Berlin, 1983, 361–383.Google Scholar
  18. [Partee, 87]
    B. Partee: Noun Phrase Interpretation and Type-Shifting Principles. In: J. Groenendijk, D. de Jongh, M. Stockhof (eds.), Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers, Foris, Dordrecht 1987.Google Scholar
  19. [Poigné, 86]
    A. Poigné: On Specifications, Theories, and Models with Higher Type. Information and Control 68, 1986, 1–46.MATHMathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Bernd Mahr
    • 1
  • Carla Umbach
    • 1
  1. 1.Institut für Software und Theoretische InformatikTechnische Universität BerlinBerlin 12

Personalised recommendations