01549nam a2200217Ia 4500 TDMU_25036 210410s9999 xx 000 0 und d 005.131 E201 Eijck, J. van Computational semantics with functional programming by Jan van Eijck, Christina Unger Cambridge Cambridge University Press 2010 xv, 405 p. This item purchased with funds from: the James Fleming Rutledge Book Endowment Fund. DGU; 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 Functional programming (Computer science); Haskell (Computer program language); Programming languages (Electronic computers) Semantics; Chức năng lập trình (Khoa học máy tính); Haskell (Ngôn ngữ chương trình máy tính); Ngôn ngữ lập trình (Máy tính điện tử) Ngữ nghĩa học Unger, Christina http://lrc.tdmu.edu.vn/opac/search/detail.asp?aID=2&ID=25036 Trung tâm Học liệu Trường Đại học Thủ Dầu Một