Khác biệt giữa bản sửa đổi của “Lý thuyết hình thái”

→‎Đọc thêm: clean up, general fixes using AWB
(Đã cứu 1 nguồn và đánh dấu 0 nguồn là hỏng.) #IABot (v2.0.8)
(→‎Đọc thêm: clean up, general fixes using AWB)
* Covers type theory in depth, including polymorphic and dependent type extensions. Gives categorical semantics.
* Cardelli, Luca (1996). "Type Systems". In Tucker, Allen B. (ed.). ''The Computer Science and Engineering Handbook''. CRC Press. pp.&nbsp;2208–36. ISBN <bdi>9780849329098</bdi>..
* Constable, Robert L. (2012) [2002]. "Naïve Computational Type Theory" ([http://www.nuprl.org/documents/Constable/naive.pdf PDF] {{Webarchive|url=https://web.archive.org/web/20120227104114/http://www.nuprl.org/documents/constable/naive.pdf |date =2012-02- ngày 27 tháng 2 năm 2012}}). In Schwichtenberg, H.; Steinbruggen, R. (eds.). ''Proof and System-Reliability''. Nato Science Series II. '''62'''. Springer. pp.&nbsp;213–259. ISBN <bdi>9789401004138</bdi>.
* Coquand, Thierry (2018) [2006]. "Type Theory". ''Stanford Encyclopedia of Philosophy''.
* Thompson, Simon (1991). ''Type Theory and Functional Programming''. Addison–Wesley.