• 阿尔夫

  • 引用67篇文章[sw08603]
  • 校样编辑基于马丁-洛夫的单态性类型 理论用显式替换。这篇论文。。。基于马丁-洛夫类型 理论用显式替换。。。
  • 阿格达

  • 引用179条[sw09689]
  • 类型 理论一个由瑞典逻辑学家珀尔开发的构造数学的基础系统马丁...洛夫. 它与其他基于依赖关系的证明助手有许多相似之处类型,这样。。。
  • 牡蛎

  • 引用32篇文章[sw19629]
  • 用牡蛎程序合成。马丁-洛夫 类型 理论提供了一个正式的框架。。。
  • 朋友+

  • 引用3篇文章[sw21366]
  • 类型 理论,例如马丁-洛夫类型 理论或者UTT。马丁-洛夫... 直觉上在物体里类型 理论:类型以及他们的物品和家庭。。。
  • 毫升

  • 引用512篇文章[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 低成本

  • 在157篇文章中引用[sw08360]
  • 爱丁堡LCF。机械化的逻辑计算。从。。。
  • 息肉

  • 引用31篇文章[sw09131]
  • polypo-一种多类型编程语言扩展。很多功能。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 乐高是一个交互式的证据开发系统(证明。。。