Computational semantics with functional programming
By: Jan van Eijck and Christina Unger
Contributors: Unger, Christina
Publisher: Cambridge University Press
Published: 2010
Place of publication: Cambridge; New York
Language: eng
Number of pages: 405
ISBN-13: 9780521760300; 9780521757607
Subjects: Functional programming (Computer science); Programming languages (Electronic computers); Semantics; Haskell (Computer program language)
Notes: Includes bibliographical references (p. 389-395) and index.
Table of contents: title: Formal study of natural language; title: Lambda calculus, types, and functional programming; title: Functional programming with Haskell; title: Formal syntax for fragments; title: Formal semantics for fragments; title: Model checking with predicate logic; title: The composition of meaning in natural language; title: Extension and intension; title: Parsing; title: Handling relations and scoping; title: Continuation passing style semantics; title: Discourse representation and context; title: Communication as informative action.