Eijck, J. van <br/><br/>
Computational semantics with functional programming / 
Jan van Eijck and Christina Unger. 
 - Cambridge ;  New York :  Cambridge University Press,  2010. 
 - xv, 405 p. : 
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9780521760300 (hbk.) 0521760305 (hbk.) 9780521757607 (pbk.) 0521757606 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programming languages (Electronic computers)--Semantics.<br/>Functional programming (Computer science)<br/>Haskell (Computer program language)
<br/><br/><label>Dewey Class. No.: </label>004.8NLP  / EIJ