杨施的类型理论的英文

s type theory

• 杨:    poplar
• 施:    execute; carry out
• 的:    4次方是 The fourth po ...
• 类型:    type; mold; form; ...
• 理论:    theory