Loading...

Computational semantics with functional programming /

Bibliographic Details
Main Author: Eijck, J. van
Other Authors: Unger, Christina
Format: Printed Book
Language:English
Published: Cambridge ; New York : Cambridge University Press, 2010.
Subjects:
Table of Contents:
  • Formal study of natural language
  • Lambda calculus, types, and functional programming
  • Functional programming with Haskell
  • Formal syntax for fragments
  • Formal semantics for fragments
  • Model checking with predicate logic
  • The composition of meaning in natural language
  • Extension and intension
  • Parsing
  • Handling relations and scoping
  • Continuation passing style semantics
  • Discourse representation and context
  • Communication as informative action.