直觉类型论

  • 网络intuitionistic type theory
直觉类型论直觉类型论
  1. 直觉主义类型论中π和∑规则的研究

    On the π and Σ rules in intuitionistic type theory

  2. 直觉主义类型论中否定构造的研究

    Studies of the negation in the intuitionistic type theory