Some relative page about the "dependent types"

https://scm.iis.sinica.edu.tw/home/

https://en.wikipedia.org/wiki/Predicate_(mathematical_logic)

1. https://www.itread01.com/content/1546126040.html
2. https://zh.wikipedia.org/wiki/Category:计算机逻辑
3. https://zh.wikipedia.org/wiki/Category:类型论
4. https://zh.wikipedia.org/wiki/柯里-霍华德同构
5. https://zh.wikipedia.org/wiki/Haskell
6. https://zh.wikipedia.org/wiki/逻辑框架
7. https://zh.wikipedia.org/wiki/依赖类型
8. Type Theory https://plato.stanford.edu/entries/type-theory/#Aca
9. Homotopy type theory https://homotopytypetheory.org/book/