Some relative page about the "dependent types"


Posted by clins210 on 2020-11-23

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/

#haskell #lamda calculate #type dependent #logics







Related Posts

官方 ASP.NET Core 教學課程沒有說的小地方 - Part 1

官方 ASP.NET Core 教學課程沒有說的小地方 - Part 1

Python基礎入門 | 套件 (package)

Python基礎入門 | 套件 (package)

筆記、[ALG101] 看程式

筆記、[ALG101] 看程式


Comments