Computational semantics with functional programming /:
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, compu...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge :
Cambridge University Press,
2010.
|
| Schlagworte: | |
| Online-Zugang: | DE-862 DE-863 |
| Zusammenfassung: | 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. |
| Beschreibung: | 1 online resource (405 pages) |
| Bibliographie: | Includes bibliographical references (pages 389-395) and index. |
| ISBN: | 9780511932700 0511932707 9780511778377 0511778376 9786612930737 661293073X 1107207797 9781107207790 1282930737 9781282930735 0511931360 9780511931369 0511927517 9780511927515 0511924976 9780511924972 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn702124794 | ||
| 003 | OCoLC | ||
| 005 | 20250103110447.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 110216s2010 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d CDX |d E7B |d UKMGB |d OCLCQ |d YDXCP |d REDDC |d OCLCQ |d DEBSZ |d OCLCQ |d CAMBR |d OCLCQ |d OCLCF |d OCLCQ |d BUB |d HEBIS |d OCLCO |d NJR |d OCLCQ |d OCLCA |d OCLCQ |d K6U |d VLY |d UKAHL |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d SFB | ||
| 016 | 7 | |a 015566381 |2 Uk | |
| 019 | |a 697952991 |a 817913251 |a 961631371 |a 1162065287 | ||
| 020 | |a 9780511932700 |q (electronic bk.) | ||
| 020 | |a 0511932707 |q (electronic bk.) | ||
| 020 | |a 9780511778377 |q (electronic bk.) | ||
| 020 | |a 0511778376 |q (electronic bk.) | ||
| 020 | |a 9786612930737 | ||
| 020 | |a 661293073X | ||
| 020 | |a 1107207797 | ||
| 020 | |a 9781107207790 | ||
| 020 | |a 1282930737 | ||
| 020 | |a 9781282930735 | ||
| 020 | |a 0511931360 | ||
| 020 | |a 9780511931369 | ||
| 020 | |a 0511927517 | ||
| 020 | |a 9780511927515 | ||
| 020 | |a 0511924976 | ||
| 020 | |a 9780511924972 | ||
| 020 | |z 9780521760300 | ||
| 020 | |z 0521760305 | ||
| 020 | |z 9780521757607 | ||
| 020 | |z 0521757606 | ||
| 024 | 8 | |a 9786612930737 | |
| 035 | |a (OCoLC)702124794 |z (OCoLC)697952991 |z (OCoLC)817913251 |z (OCoLC)961631371 |z (OCoLC)1162065287 | ||
| 037 | |a 293073 |b MIL | ||
| 050 | 4 | |a QA76.7 |b .E43 2010eb | |
| 072 | 7 | |a COM |x 051000 |2 bisacsh | |
| 082 | 7 | |a 005.131 |2 22 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Eijck, J. van |q (Jan) |1 https://id.oclc.org/worldcat/entity/E39PBJbRhtjfMv7fh8vQr4JRrq |0 http://id.loc.gov/authorities/names/n91001023 | |
| 245 | 1 | 0 | |a Computational semantics with functional programming / |c Jan van Eijck and Christina Unger. |
| 260 | |a Cambridge : |b Cambridge University Press, |c 2010. | ||
| 300 | |a 1 online resource (405 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (pages 389-395) and index. | ||
| 505 | 0 | |a 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. | |
| 588 | 0 | |a Print version record. | |
| 520 | |a 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. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Programming languages (Electronic computers) |x Semantics. |0 http://id.loc.gov/authorities/subjects/sh85107316 | |
| 650 | 0 | |a Functional programming (Computer science) |0 http://id.loc.gov/authorities/subjects/sh87007844 | |
| 650 | 0 | |a Haskell (Computer program language) |0 http://id.loc.gov/authorities/subjects/sh93003496 | |
| 650 | 6 | |a Langages de programmation |x Sémantique. | |
| 650 | 6 | |a Programmation fonctionnelle. | |
| 650 | 6 | |a Haskell (Langage de programmation) | |
| 650 | 7 | |a COMPUTERS |x Programming |x General. |2 bisacsh | |
| 650 | 7 | |a Functional programming (Computer science) |2 fast | |
| 650 | 7 | |a Haskell (Computer program language) |2 fast | |
| 650 | 7 | |a Programming languages (Electronic computers) |x Semantics |2 fast | |
| 650 | 7 | |a Computerlinguistik |2 gnd |0 http://d-nb.info/gnd/4035843-4 | |
| 650 | 7 | |a Semantik |2 gnd |0 http://d-nb.info/gnd/4054490-4 | |
| 650 | 7 | |a Funktionale Programmierung |2 gnd |0 http://d-nb.info/gnd/4198740-8 | |
| 650 | 7 | |a HASKELL |2 gnd | |
| 655 | 0 | |a Electronic books. | |
| 655 | 4 | |a Electronic books. | |
| 700 | 1 | |a Unger, Christina. | |
| 758 | |i has work: |a Computational semantics with functional programming (Text) |1 https://id.oclc.org/worldcat/entity/E39PCH3XhVyTfxXCkDhWgppWrC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Eijck, J. van (Jan). |t Computational semantics with functional programming. |d Cambridge : Cambridge University Press, 2010 |z 9780521760300 |w (OCoLC)636911230 |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=344674 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=344674 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH22947272 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH37545725 | ||
| 938 | |a Coutts Information Services |b COUT |n 16986050 | ||
| 938 | |a ebrary |b EBRY |n ebr10436316 | ||
| 938 | |a EBSCOhost |b EBSC |n 344674 | ||
| 938 | |a YBP Library Services |b YANK |n 9246464 | ||
| 938 | |a YBP Library Services |b YANK |n 3559316 | ||
| 938 | |a YBP Library Services |b YANK |n 3555497 | ||
| 938 | |a YBP Library Services |b YANK |n 3631624 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn702124794 |
|---|---|
| _version_ | 1829094689679081472 |
| adam_text | |
| any_adam_object | |
| author | Eijck, J. van (Jan) |
| author2 | Unger, Christina |
| author2_role | |
| author2_variant | c u cu |
| author_GND | http://id.loc.gov/authorities/names/n91001023 |
| author_facet | Eijck, J. van (Jan) Unger, Christina |
| author_role | |
| author_sort | Eijck, J. van |
| author_variant | j v e jv jve |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 .E43 2010eb |
| callnumber-search | QA76.7 .E43 2010eb |
| callnumber-sort | QA 276.7 E43 42010EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| 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. |
| ctrlnum | (OCoLC)702124794 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05633cam a2200961 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn702124794</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20250103110447.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">110216s2010 enka ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">CDX</subfield><subfield code="d">E7B</subfield><subfield code="d">UKMGB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">REDDC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">CAMBR</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">BUB</subfield><subfield code="d">HEBIS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">NJR</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">VLY</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SFB</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">015566381</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">697952991</subfield><subfield code="a">817913251</subfield><subfield code="a">961631371</subfield><subfield code="a">1162065287</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511932700</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511932707</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511778377</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511778376</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786612930737</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">661293073X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107207797</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107207790</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1282930737</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781282930735</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511931360</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511931369</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511927517</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511927515</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511924976</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511924972</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521760300</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521760305</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521757607</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521757606</subfield></datafield><datafield tag="024" ind1="8" ind2=" "><subfield code="a">9786612930737</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)702124794</subfield><subfield code="z">(OCoLC)697952991</subfield><subfield code="z">(OCoLC)817913251</subfield><subfield code="z">(OCoLC)961631371</subfield><subfield code="z">(OCoLC)1162065287</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">293073</subfield><subfield code="b">MIL</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.7</subfield><subfield code="b">.E43 2010eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">051000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Eijck, J. van</subfield><subfield code="q">(Jan)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJbRhtjfMv7fh8vQr4JRrq</subfield><subfield code="0">http://id.loc.gov/authorities/names/n91001023</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computational semantics with functional programming /</subfield><subfield code="c">Jan van Eijck and Christina Unger.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2010.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (405 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 389-395) and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85107316</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Functional programming (Computer science)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh87007844</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Haskell (Computer program language)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh93003496</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Langages de programmation</subfield><subfield code="x">Sémantique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Programmation fonctionnelle.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Haskell (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Programming</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Functional programming (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Haskell (Computer program language)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computerlinguistik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4035843-4</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4054490-4</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4198740-8</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">HASKELL</subfield><subfield code="2">gnd</subfield></datafield><datafield tag="655" ind1=" " ind2="0"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Unger, Christina.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Computational semantics with functional programming (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCH3XhVyTfxXCkDhWgppWrC</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Eijck, J. van (Jan).</subfield><subfield code="t">Computational semantics with functional programming.</subfield><subfield code="d">Cambridge : Cambridge University Press, 2010</subfield><subfield code="z">9780521760300</subfield><subfield code="w">(OCoLC)636911230</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=344674</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=344674</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH22947272</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH37545725</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Coutts Information Services</subfield><subfield code="b">COUT</subfield><subfield code="n">16986050</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10436316</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">344674</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">9246464</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3559316</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3555497</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3631624</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Electronic books. |
| genre_facet | Electronic books. |
| id | ZDB-4-EBA-ocn702124794 |
| illustrated | Illustrated |
| indexdate | 2025-04-11T08:37:07Z |
| institution | BVB |
| isbn | 9780511932700 0511932707 9780511778377 0511778376 9786612930737 661293073X 1107207797 9781107207790 1282930737 9781282930735 0511931360 9780511931369 0511927517 9780511927515 0511924976 9780511924972 |
| language | English |
| oclc_num | 702124794 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource (405 pages) |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Cambridge University Press, |
| record_format | marc |
| spelling | Eijck, J. van (Jan) https://id.oclc.org/worldcat/entity/E39PBJbRhtjfMv7fh8vQr4JRrq http://id.loc.gov/authorities/names/n91001023 Computational semantics with functional programming / Jan van Eijck and Christina Unger. Cambridge : Cambridge University Press, 2010. 1 online resource (405 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier 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. Programming languages (Electronic computers) Semantics. http://id.loc.gov/authorities/subjects/sh85107316 Functional programming (Computer science) http://id.loc.gov/authorities/subjects/sh87007844 Haskell (Computer program language) http://id.loc.gov/authorities/subjects/sh93003496 Langages de programmation Sémantique. Programmation fonctionnelle. Haskell (Langage de programmation) COMPUTERS Programming General. bisacsh Functional programming (Computer science) fast Haskell (Computer program language) fast Programming languages (Electronic computers) Semantics fast Computerlinguistik gnd http://d-nb.info/gnd/4035843-4 Semantik gnd http://d-nb.info/gnd/4054490-4 Funktionale Programmierung gnd http://d-nb.info/gnd/4198740-8 HASKELL gnd Electronic books. Unger, Christina. has work: Computational semantics with functional programming (Text) https://id.oclc.org/worldcat/entity/E39PCH3XhVyTfxXCkDhWgppWrC https://id.oclc.org/worldcat/ontology/hasWork Print version: Eijck, J. van (Jan). Computational semantics with functional programming. Cambridge : Cambridge University Press, 2010 9780521760300 (OCoLC)636911230 |
| spellingShingle | Eijck, J. van (Jan) Computational semantics with functional programming / 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. Programming languages (Electronic computers) Semantics. http://id.loc.gov/authorities/subjects/sh85107316 Functional programming (Computer science) http://id.loc.gov/authorities/subjects/sh87007844 Haskell (Computer program language) http://id.loc.gov/authorities/subjects/sh93003496 Langages de programmation Sémantique. Programmation fonctionnelle. Haskell (Langage de programmation) COMPUTERS Programming General. bisacsh Functional programming (Computer science) fast Haskell (Computer program language) fast Programming languages (Electronic computers) Semantics fast Computerlinguistik gnd http://d-nb.info/gnd/4035843-4 Semantik gnd http://d-nb.info/gnd/4054490-4 Funktionale Programmierung gnd http://d-nb.info/gnd/4198740-8 HASKELL gnd |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85107316 http://id.loc.gov/authorities/subjects/sh87007844 http://id.loc.gov/authorities/subjects/sh93003496 http://d-nb.info/gnd/4035843-4 http://d-nb.info/gnd/4054490-4 http://d-nb.info/gnd/4198740-8 |
| title | Computational semantics with functional programming / |
| title_auth | Computational semantics with functional programming / |
| title_exact_search | Computational semantics with functional programming / |
| title_full | Computational semantics with functional programming / Jan van Eijck and Christina Unger. |
| title_fullStr | Computational semantics with functional programming / Jan van Eijck and Christina Unger. |
| title_full_unstemmed | Computational semantics with functional programming / Jan van Eijck and Christina Unger. |
| title_short | Computational semantics with functional programming / |
| title_sort | computational semantics with functional programming |
| topic | Programming languages (Electronic computers) Semantics. http://id.loc.gov/authorities/subjects/sh85107316 Functional programming (Computer science) http://id.loc.gov/authorities/subjects/sh87007844 Haskell (Computer program language) http://id.loc.gov/authorities/subjects/sh93003496 Langages de programmation Sémantique. Programmation fonctionnelle. Haskell (Langage de programmation) COMPUTERS Programming General. bisacsh Functional programming (Computer science) fast Haskell (Computer program language) fast Programming languages (Electronic computers) Semantics fast Computerlinguistik gnd http://d-nb.info/gnd/4035843-4 Semantik gnd http://d-nb.info/gnd/4054490-4 Funktionale Programmierung gnd http://d-nb.info/gnd/4198740-8 HASKELL gnd |
| topic_facet | 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. Programming languages (Electronic computers) Semantics Computerlinguistik Semantik Funktionale Programmierung HASKELL Electronic books. |
| work_keys_str_mv | AT eijckjvan computationalsemanticswithfunctionalprogramming AT ungerchristina computationalsemanticswithfunctionalprogramming |