Intuitionistic type theory
... theory of logical types 逻辑类型理论 Intuitionistic Theory of Types 直觉类型论 The theory of types 类型论 ...
基于10个网页-相关网页
直觉主义类型论 Intuitionistic Type Theory
直觉类型论、或构造类型论、或Martin-Löf 类型论、或就叫类型论是基于数学构造主义的函数式编程语言、逻辑和集合论。直觉类型论由瑞典数学家和哲学家 Per Martin-Löf 在1972年提出的。Martin-Löf 已经多次修改了它的提议；先是非直谓性的而后是直谓性的，先是外延的而后是内涵的类型论变体。
详细内容
应用推荐
模块上移
模块下移
不移动