Computational semantics with functional programming /

other_versions_link
Xehetasun bibliografikoak
Egile nagusia: Eijck, J. van
Beste egile batzuk: Unger, Christina
Formatua: Printed Book
Hizkuntza:English
Argitaratua: Cambridge ; New York : Cambridge University Press, 2010.
Gaiak:
Programming languages (Electronic computers) > Semantics.
Functional programming (Computer science)
Haskell (Computer program language)
Aurkibidea:
  • 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.

Antzeko izenburuak