Formal semantics in modern type theories

著者

• Chatzikyriakidis, Stergios
• Luo, Zhaohui

書誌事項

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

注記

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

• NII書誌ID(NCID): BC07423532
• ISBN:
  • 9781786301284
• LCCN: 2020943853
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: London,Hoboken, NJ
• ページ数/冊数: xiii, 229 p.
• 大きさ: 25 cm
• 分類:
  • LCC : P138
  • DC23 : 401.43015118
  • DC23 : 410.151
• 件名:
  • LCSH : Semantics -- Mathematical models
  • LCSH : Type theory
  • LCSH : Natural language processing (Computer science)
  • LCSH : Mathematical linguistics
• 親書誌ID:
  • BB21005761