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)

97805217603009780521757607   0521760305   0521757606
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Brandom’s Incompatibility Semantics.Jaroslav Peregrin - 2008 - Philosophical Topics 36 (2):99-121.
NLP, philosophy, and logic.Jan van Eijck - unknown
A Program for Computational Semantics.Jan van Eijck - unknown
Foundations of intensional semantics.Chris Fox - 2005 - Malden MA: Blackwell. Edited by Shalom Lappin.
Johan van Benthem and Alice ter Meulen, eds.Jaroslav Peregrin - unknown
Briefly Noted.Chris Fox & Shalom Lappin - unknown
Fragments of language.Ian Pratt-Hartmann - 2004 - Journal of Logic, Language and Information 13 (2):207-223.
Representation and inference for natural language: a first course in computational semantics.Patrick Blackburn - 2005 - Stanford, Calif.: Center for the Study of Language and Information. Edited by Johannes Bos.
Domains and lambda-calculi.Roberto M. Amadio - 1998 - New York: Cambridge University Press. Edited by P.-L. Curien.
Computational Semantics, Type Theory, and Functional Programming.Jan van Eijck - unknown

Analytics

Added to PP
2009-03-25

Downloads
77 (#208,367)

6 months
1 (#1,459,555)

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 Bruno Visentini (ed.), Linguaggi nella societa e nella tecnica. Edizioni di Communita. pp. 188-221.

Add more references