1. 首页
  2. 数据库
  3. Intuitionistic Type Theory (Per Martin Lof 1984)