The Nuprl Book: "Introduction to Type Theory."
자료형 자료형 체계 도메인 이론 (영어) The Nuprl Book: "Introduction to Type Theory."