Martin-Löf 型別理論

[wdv4758h]

相關資源：

• FLOLAC'16: http://flolac.iis.sinica.edu.tw/flolac16/mltt.html
• Wikipedia - Intuitionistic type theory: https://en.wikipedia.org/wiki/Intuitionistic_type_theory
• Intuitionistic Type Theory (Stanford Encyclopedia of Philosophy): https://plato.stanford.edu/entries/type-theory-intuitionistic/

相關語言：

• Agda
• Idris
• Coq