위키 홈 Edit Type theory 2024-11-26 별칭: 타입 이론, 유형론 Books Intuitionistic Type Theory by Per Martin-Löf Proofs and types