Lemma 11 states that typing of an e

Lemma 11 states that typing of an expression is preserved by
performing renamings on both the expression and signature.

ผลลัพธ์ (ไทย) 1:

หน่วยการ 11 แจ้งว่า พิมพ์ของนิพจน์จะถูกรักษาไว้โดยทำ renamings ทั้งนิพจน์และลายเซ็น

ผลลัพธ์ (ไทย) 2:

แทรก 11 รัฐที่พิมพ์ในการแสดงออกจะถูกเก็บรักษาไว้โดย
การดำเนินการ renamings ทั้งการแสดงออกและลายเซ็น

ผลลัพธ์ (ไทย) 3:

แทรก 11 รัฐที่พิมพ์ของการแสดงออกที่ถูกเก็บรักษาไว้โดยแสดง renamings ทั้งการแสดงออกและลายเซ็น