Computational Semantics with Functional Programming

Cambridge University Press (2010)
  Copy   BIBTEX

Abstract

Almost forty years ago Richard Montague proposed to analyse natural language with the same tools as formal languages. In particular, he gave formal semantic analyses of several interesting fragments of English in terms of typed logic. This led to the development of Montague grammar as a particular style of formal analysis of natural language.

Categories

Keywords

Reprint years

ISBN(s)

9780521760300   9780521757607   0521760305   0521757606

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,506

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

NLP, philosophy, and logic.Jan van Eijck - unknown
Computational Semantics, Type Theory, and Functional Programming.Jan van Eijck - unknown
Abacus as a Programming Language: Computer Science and History of Mathematics.Baptiste Mélès - 2016 - In S. Ju, B. Löwe, T. Müller & Y. Xie, Cultures of Mathematics and Logic. Trends in the History of Science. pp. 43-59.
Domains and lambda-calculi.Roberto M. Amadio - 1998 - New York: Cambridge University Press. Edited by P.-L. Curien.
Automata, Languages, and Programming: 16th International Colloquium, Stresa, Italy, July 11-15, 1989 : Proceedings.Giorgio Ausiello & Mariangiola Dezani-Ciancaglini - 1989 - Springer.
AI and the Origins of the Functional Programming Language Style.Mark Priestley - 2017 - Minds and Machines 27 (3):449-472.
Automata, Languages and Programming: 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings.Andrzej Lingas & Rolf Karlsson - 1993 - Springer.
Automata, Languages, and Programming: 19th International Colloquium, Wien, Austria, July 13-17, 1992 : Proceedings.Werner Kuich - 1992 - Springer.
The Philosophy of Computer Languages.Graham White - 2003 - In Luciano Floridi, The Blackwell guide to the philosophy of computing and information. Blackwell. pp. 237–247.
Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context.Cliff Jones & Troy Astarte - 2018 - In Giuseppe Primiero & Liesbeth De Mol, Reflections on Programming Systems: Historical and Philosophical Aspects. Cham: Springer Verlag. pp. 83-152.

Analytics

Added to PP
2009-03-25

Downloads
81 (#279,019)

6 months
1 (#1,594,211)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Van Eijck
University of Amsterdam

Citations of this work

Toward a Dynamic Logic of Questions.Johan van Benthem & Ştefan Minică - 2012 - Journal of Philosophical Logic 41 (4):633-669.
The scope of alternatives: indefiniteness and islands.Simon Charlow - 2020 - Linguistics and Philosophy 43 (4):427-472.
Context Update for Lambdas and Vectors.Reinhard Muskens & Mehrnoosh Sadrzadeh - 2016 - In Maxime Amblard, Philippe de Groote, Sylvain Pogodalla & Christian Rétoré, Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016). Berlin, Germany: Springer. pp. 247--254.

View all 9 citations / Add more citations

References found in this work

English as a Formal Language.Richard Montague - 1970 - In B. Visentini, Linguaggi Nella Societ\'{a} e Nella Tecnica'. Edizioni di Communita. pp. 188-221.

Add more references