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.
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | Department of Computer Science General Stacks | 004.8NLP EIJ (Browse shelf(Opens below)) | Available | MCS05711 |
Browsing Department of Computer Science shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
004.8NLP BEC Speech recognition : | 004.8NLP BHA Natural Language Processing:a paninian perspective | 004.8NLP DAN Multilingual natural language processing applications : | 004.8NLP EIJ Computational semantics with functional programming / | 004.8NLP IND Language Processing | 004.8NLP JUR Speech and language processing | 004.8NLP JUR Speech and language processing |
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.