• 阿格达

  • 引用了190篇文章[sw09689]
  • 基于直觉类型 理论,一个基础系统建设性的瑞典人发展的数学。。。与其他证据助理类型如Coq、警句、NuPRL等。这个。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 各种相关类型系统-爱丁堡逻辑框架(LF),微积分结构... 广义微积分结构(GCC)和统一理论从属关系类型(UTT)。乐高。。。
  • 牡蛎

  • 引用32篇文章[sw19629]
  • 牡蛎。马丁-Löf类型 理论建设已验证程序的。。。指定和写入类型 理论. 我们描述了类型...
  • 美国石油协会

  • 引用8篇文章[sw09832]
  • 由此得到的结果是正确的建设. 同时,依赖类型 理论富有到足以表达。。。
  • ETPS公司

  • 引用156篇文章[sw06302]
  • 一阶逻辑和类型 理论. 后者是一个精简版。。。各种数学活动,促进形式的发展理论在各种学科中,演绎。。。证明,将这些转化为自然演绎证明,建造自然演绎证明,翻译自然演绎证明。。。数理逻辑导论类型 理论:证明真理,第二版,克鲁尔学术。。。
  • 瘦身

  • 引用了37篇文章[sw15148]
  • 基于依赖关系的小型可信内核类型 理论. 它旨在弥合。。。支持用户交互和建设充分规定的公理证明。靠。。。目前正被用于形式化类别理论,同伦类型 理论,和抽象代数。我们描述。。。
  • LLFp公司

  • 引用4篇文章【sw20866】
  • 使用单子。我们扩展建设性的依赖的类型 理论逻辑框架的𝖫𝖥 带着。。。
  • GQRAT公司

  • 引用了35篇文章[sw00373]
  • 这里的问题是高斯-类型对混合物精确的求积规则。。。被积函数。潜在的理论并介绍了建造如此理性的高斯。。。
  • 测试程序集

  • 引用71篇文章[sw00973]
  • 一阶逻辑证明器类型 理论. 后者是一个精简版。。。各种数学活动,促进形式的发展理论在各种学科中,演绎。。。证明,将这些转化为自然演绎证明,建造自然演绎证明,翻译自然演绎证明。。。
  • 息肉

  • 引用31篇文章[sw09131]
  • Haskell)与建造用于编写多型函数。扩展语言类型检查定义。。。推断类型所有其他表达式都使用了Jones'理论合格的。。。
  • 霍特

  • 引用13篇文章[sw15147]
  • 基本的类型形成者,一些公理化的高归纳类型包括圆圈,间隔,暂停。。。类别理论以逗号类别和各种结构涉及逗号类别。。。迅速地。这次演讲将讨论结构在霍特图书馆,还有。。。Coq和单价类型 理论,它允许我们的库编译。。。
  • 科卡斯尔

  • 在26篇文章中引用[sw13076]
  • 以自然的方式处理代数类型通信系统,进程的语法。。。Casl的世界构造CoCasl涵盖了各种工艺当量。。。语义研究框架及其证明理论反应系统。。。
  • 皮杜

  • 引用21篇文章[sw01418]
  • 依靠坚实的服务技术理论关于过程计算和形式语言。。。类型具有子类型的系统、用于解构XML值的模式匹配机制和控件构造...
  • 科克姆图

  • 引用3篇文章[sw19138]
  • 研究一个复合体类型 理论,归纳演算结构有一个谓词层次。。。内置在它的转换关系中。这个理论T是抽象地指定的。。。弱消去,意味着类型-正在检查此情况以及一致性。。。
  • 艾弗

  • 引用3篇文章[sw06343]
  • 语言;通过使用类型 理论作为核心代表,我们可以建造评估条款。。。
  • 提托瑞尔

  • 引用8篇文章[sw08501]
  • 游戏,(双-)模拟,拓扑,定性模糊考虑,理论提取,社会选择,间隔决策支持。。。证明与变换。它是通用的建设从属关系类型让它也成为一个领域。。。
  • 大学数学

  • 引用15篇文章[sw15140]
  • 导致了类型 理论h级的概念。这个。。。将命题定义为类型h级1,设为类型h级。。。然后定义*类型hProp(U)-类型属于类型h级。。。类型hSet(U)-类型属于类型在美国的h级2。类型...
  • 克莱恩代数

  • 参考7篇文章[sw32203]
  • 它们最重要的公理模型类型伊莎贝尔/霍尔的课程。Kleene代数是基本结构。。。从自动机和语言理论计算建模,程序建设以及验证。我们从。。。
  • 霍尔布吉

  • 在14篇文章中引用[sw00409]
  • 一阶逻辑。\parIts验证条件--构建通过这些注释的wp演算。。。还要核实“背景理论“,即。理论对于数据-类型也用于注释。。。
  • 模糊的

  • 参考7篇文章[sw02575]
  • 数据类型. 它与传统规范语言的不同之处在于它处理模型而不是理论... 晦涩的描述。首先,不同的语言构造通过举例说明。。。语言概念-如参数化和打字--跟随。最后,提出了一种开发方法。。。