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
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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 (eds.), 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.
Automata, Languages and Programming.Werner Kuich - 1992 - 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.
The Philosophy of Computer Languages.Graham White - 2003 - In Luciano Floridi (ed.), The Blackwell guide to the philosophy of computing and information. Blackwell. pp. 237–247.
Natural Language Understanding and Logic Programming: Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984.Veronica Dahl & Patrick Saint-Dizier (eds.) - 1985 - Amsterdam, Netherlands: North Holland.

Analytics

Added to PP
2009-03-25

Downloads
77 (#210,984)

6 months
77 (#74,188)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Van Eijck
University of Amsterdam

Citations of this work

The scope of alternatives: indefiniteness and islands.Simon Charlow - 2020 - Linguistics and Philosophy 43 (4):427-472.
Toward a Dynamic Logic of Questions.Johan van Benthem & Ştefan Minică - 2012 - Journal of Philosophical Logic 41 (4):633-669.

View all 8 citations / Add more citations

References found in this work

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

Add more references