![[eBook Code] Formal Semantics in Modern Type Theories](./img_thumb/9781119489221.jpg)
책 이미지
![[eBook Code] Formal Semantics in Modern Type Theories](/img_thumb/9781119489221.jpg)
책 정보
· 제목 : [eBook Code] Formal Semantics in Modern Type Theories (eBook Code, 1st)
· 분류 : 외국도서 > 언어학 > 언어학 > 의미론
· ISBN : 9781119489221
· 쪽수 : 256쪽
· 분류 : 외국도서 > 언어학 > 언어학 > 의미론
· ISBN : 9781119489221
· 쪽수 : 256쪽
목차
Chapter 1. Type Theoretical Semantics: Introduction
Chapter 2. Modern Type Theories
Chapter 3. MTT-semantics: Basics
Chapter 4. Adjectival and Adverbial Modification in MTT-semantics
Chapter 5. Copredication and Dot-types
Chapter 6. Reasoning about NL in Coq
Chapter 7. Advanced Topics and Conclusion
![[eBook Code] Formal Semantics in Modern Type Theories (eBook Code, 1st)](/img_thumb/9781119489214.jpg)
