Computational semantics with functional programming /

other_versions_link
書目詳細資料
主要作者: Eijck, J. van
其他作者: Unger, Christina
格式: Printed Book
語言:English
出版: Cambridge ; New York : Cambridge University Press, 2010.
主題:
Programming languages (Electronic computers) > Semantics.
Functional programming (Computer science)
Haskell (Computer program language)
書本目錄:
  • 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.

相似書籍