综合同伦论 [综合同伦论]

同伦类型论是综合同伦论的一种语言.