MTT_zh

参考：Formal Semantics in Modern Type Theories (Stergios Chatzikyriakidis, Zhaohui Luo)

Name		Name	Last commit message	Last commit date
Latest commit History 47 Commits
1.Type Theories and Semantic Studies.assets		1.Type Theories and Semantic Studies.assets
2.Modern Type Theories.assets		2.Modern Type Theories.assets
3.Formal Semantics in Modern Type Theories.assets		3.Formal Semantics in Modern Type Theories.assets
6.Reasoning and Verifying NL Semantics in Coq.assets		6.Reasoning and Verifying NL Semantics in Coq.assets
7.Advanced Topics.assets		7.Advanced Topics.assets
1.Type Theories and Semantic Studies.md		1.Type Theories and Semantic Studies.md
2.Modern Type Theories.md		2.Modern Type Theories.md
3.Formal Semantics in Modern Type Theories.md		3.Formal Semantics in Modern Type Theories.md
4.Advanced Modifiction.md		4.Advanced Modifiction.md
5.Copredication and Individuation.md		5.Copredication and Individuation.md
6.Reasoning and Verifying NL Semantics in Coq.md		6.Reasoning and Verifying NL Semantics in Coq.md
7.Advanced Topics.md		7.Advanced Topics.md
Appendices.pdf		Appendices.pdf
README.md		README.md

Provide feedback