TCC
Другие языки
类型正确性条件
類型正確性條件
Type Correctness Condition
Conditions d'exactitude du type
Condiciones de corrección del tipo
Condição de Correção do Tipo
условие правильности типа
نوع شرط صحة
Zustand der Type-Korrektheit
型正しさ条件
유형 정확성 조건
ประเภทความถูกต้องของเงื่อนไข