Computational semantics with functional programming / (Record no. 241206)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01321cam a22002537a 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220518154554.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 110525s2010 enka b 001 0 eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780521760300 (hbk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0521760305 (hbk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780521757607 (pbk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0521757606 (pbk.) |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | eng |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.8NLP |
| Item number | EIJ |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Eijck, J. van |
| 9 (RLIN) | 2155 |
| 245 10 - TITLE STATEMENT | |
| Title | Computational semantics with functional programming / |
| Statement of responsibility, etc. | Jan van Eijck and Christina Unger. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Cambridge ; |
| -- | New York : |
| Name of publisher, distributor, etc. | Cambridge University Press, |
| Date of publication, distribution, etc. | 2010. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xv, 405 p. : |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Programming languages (Electronic computers) |
| General subdivision | Semantics. |
| 9 (RLIN) | 980 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Functional programming (Computer science) |
| 9 (RLIN) | 2156 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Haskell (Computer program language) |
| 9 (RLIN) | 2157 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Unger, Christina. |
| 9 (RLIN) | 2158 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
No items available.