Computational semantics with functional programming / Jan van Eijck and Christina Unger.
Material type: TextPublication details: Cambridge : Cambridge University Press, 2010.Description: 1 online resource (405 pages)Content type:- text
- computer
- online resource
- 9780511932700
- 0511932707
- 9780511778377
- 0511778376
- 9786612930737
- 661293073X
- 1107207797
- 9781107207790
- 1282930737
- 9781282930735
- 0511931360
- 9780511931369
- 0511927517
- 9780511927515
- 0511924976
- 9780511924972
- Programming languages (Electronic computers) -- Semantics
- Functional programming (Computer science)
- Haskell (Computer program language)
- Langages de programmation -- Sémantique
- Programmation fonctionnelle
- Haskell (Langage de programmation)
- COMPUTERS -- Programming -- General
- Functional programming (Computer science)
- Haskell (Computer program language)
- Programming languages (Electronic computers) -- Semantics
- Computerlinguistik
- Semantik
- Funktionale Programmierung
- HASKELL
- 005.131 22
- QA76.7 .E43 2010eb
Item type | Home library | Collection | Call number | Materials specified | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Electronic-Books | OPJGU Sonepat- Campus | E-Books EBSCO | Available |
Includes bibliographical references (pages 389-395) and index.
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.
Print version record.
Computational semantics is the art and science of computing meaning in natural language. The meaning of a sentence is derived from the meanings of the individual words in it, and this process can be made so precise that it can be implemented on a computer. Designed for students of linguistics, computer science, logic and philosophy, this comprehensive text shows how to compute meaning using the functional programming language Haskell. It deals with both denotational meaning (where meaning comes from knowing the conditions of truth in situations), and operational meaning (where meaning is an instruction for performing cognitive action). Including a discussion of recent developments in logic, it will be invaluable to linguistics students wanting to apply logic to their studies, logic students wishing to learn how their subject can be applied to linguistics, and functional programmers interested in natural language processing as a new application area.
English.
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - Worldwide
There are no comments on this title.