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



    Upload a copy of this work     Papers currently archived: 100,063

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: 19th International Colloquium, Wien, Austria, July 13-17, 1992 : Proceedings.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.
Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context.Cliff Jones & Troy Astarte - 2018 - In Giuseppe Primiero & Liesbeth De Mol (eds.), Reflections on Programming Systems: Historical and Philosophical Aspects. Cham: Springer Verlag. pp. 83-152.

Analytics

Added to PP
2009-03-25

Downloads
81 (#255,670)

6 months
4 (#1,232,162)

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.

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