Image from Amazon.com
Computational semantics with functional programming / Jan van Eijck and Christina Unger.
Material type:
TextLanguage: English Publication details: Cambridge ; New York : Cambridge University Press, 2010.Description: xv, 405 pISBN: - 9780521760300 (hbk.)
- 0521760305 (hbk.)
- 9780521757607 (pbk.)
- 0521757606 (pbk.)
- 004.8NLP EIJ
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.
No physical items for this record
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.
There are no comments on this title.