Other languages
类型正确性条件
類型正確性條件
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
型正しさ条件
유형 정확성 조건
ประเภทความถูกต้องของเงื่อนไข