Matches in Library of Congress for { <http://lccn.loc.gov/2011288335> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 2011288335 contributor B12176432.
- 2011288335 contributor B12176433.
- 2011288335 created "2010.".
- 2011288335 date "2010".
- 2011288335 date "2010.".
- 2011288335 dateCopyrighted "2010.".
- 2011288335 description "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.".
- 2011288335 description "Includes bibliographical references (p. 389-395) and index.".
- 2011288335 extent "xv, 405 p. :".
- 2011288335 identifier "0521757606 (pbk.)".
- 2011288335 identifier "0521760305 (hbk.)".
- 2011288335 identifier "9780521757607 (pbk.)".
- 2011288335 identifier "9780521760300 (hbk.)".
- 2011288335 issued "2010".
- 2011288335 issued "2010.".
- 2011288335 language "eng".
- 2011288335 publisher "Cambridge ; New York : Cambridge University Press,".
- 2011288335 subject "005.131 22".
- 2011288335 subject "Functional programming (Computer science)".
- 2011288335 subject "Haskell (Computer program language)".
- 2011288335 subject "Programming languages (Electronic computers) Semantics.".
- 2011288335 subject "QA76.7 .E43 2010".
- 2011288335 tableOfContents "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.".
- 2011288335 title "Computational semantics with functional programming / Jan van Eijck and Christina Unger.".
- 2011288335 type "text".