type theory

📖 中文释义

  1. [计] 类型论, 类型理论