Eijck, J. van
        Computational semantics with functional programming / by Jan van Eijck, Christina Unger. - Cambridge : Cambridge University Press, 2010. - xv, 405 p. ; 25 cm.
        This item purchased with funds from: the James Fleming Rutledge Book Endowment Fund. DGU

        Nội dung: 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

        ISBN
        
1. Functional programming (Computer science).2. Haskell (Computer program language).3. Programming languages (Electronic computers) -- Semantics.4. Chức năng lập trình (Khoa học máy tính).5. Haskell (Ngôn ngữ chương trình máy tính).6. Ngôn ngữ lập trình (Máy tính điện tử) -- Ngữ nghĩa học.
I. Unger, Christina. II. Nhan đề

Số định danh : 005.131 E201

DHTDM:  [ Rỗi ]  Sơ đồ

GV15000123

• Số bản: 1
• Số bản rỗi: 1 (kể cả các bản được giữ chỗ)
• Số bản được giữ chỗ: 0