タイプ理論
【たいぷりろん】
【taipuriron】
类型论