Formal semantics in modern type theories

Name: Formal semantics in modern type theories
Author: Chatzikyriakidis, Stergios, Luo, Zhaohui

Web Site CiNii Available at 5 libraries

Bibliographic Information

Publisher

Publication Year

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

CRID

1130288203451656610
NII Book ID

BC07423532
ISBN

9781786301284
LCCN

2020943853
Web Site

https://lccn.loc.gov/2020943853
Text Lang

en
Country Code

uk
Title Language Code

en
Place of Publication
- London
- Hoboken, NJ
Classification
- LCC: P138
- DC23: 401.43015118
- DC23: 410.151
Subject
- LCSH: Semantics -- Mathematical models
- LCSH: Type theory
- LCSH: Natural language processing (Computer science)
- LCSH: Mathematical linguistics
Data Source
- CiNii Books