Formal semantics in modern type theories

Author(s)

• Chatzikyriakidis, Stergios
• Luo, Zhaohui

Bibliographic Information

Formal semantics in modern type theories

Stergios Chatzikyriakidis, Zhaohui Luo

（Cognitive science series / series editor, Patrick Paroubek, . Logic, Linguistics and computer science set / coordinated by Christian Retoré ; v. 2）

ISTE , Wiley, 2020

Note

Includes bibliographical references (p. [209]-223) and index

Details

• NCID: BC07423532
• ISBN:
  • 9781786301284
• LCCN: 2020943853
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London,Hoboken, NJ
• Pages/Volumes: xiii, 229 p.
• Size: 25 cm
• Classification:
  • LCC : P138
  • DC23 : 401.43015118
  • DC23 : 410.151
• Subject Headings:
  • LCSH : Semantics -- Mathematical models
  • LCSH : Type theory
  • LCSH : Natural language processing (Computer science)
  • LCSH : Mathematical linguistics
• Parent Bibliography ID:
  • BB21005761