代码之家 › 专栏 › 技术社区 › LogicChains

是否有一种类型理论可以表示形状相同的归纳数据类型的等价性?

type-theory dependent-type idris coq types

LogicChains · 技术社区 · 7 年前

内容过于久远，请刷新稍后重试

1 回复 | 直到 7 年前

András Kovács 6 年前

推荐文章

Terio · Typescript:使用变量的值创建自定义类型

1 年前

Kareem Adel · 创建函数类型(TypeScript接口)

2 年前

supercarp · 我在R中的数据帧显示,它包含值,但为空,并且对于除第一行以外的所有行,is\u null返回TRUE

2 年前

Oleksandr · 在java中,不同的数据类型如何依赖于操作系统?

2 年前

chili83 · Typescript:可以在类的私有属性中使用构造函数属性吗?

2 年前

Troskyvs · 映射比较函数导致运行时“bad\u function\u call”

2 年前

MatÄj VondrÃ¡Äek · 如何在c#方法中传递类型?

2 年前

Dave · Haskell:将积分转换为浮点(或浮点)。混合浮点数和整数

6 年前

kreo · 为什么&[T]参数也接受&Vec?

6 年前

Jiji · 将简单对象强制转换为简单的通用接口

6 年前