A finite axiomatisation of inductive-inductive definitions
A finite axiomatisation of inductive-inductive definitions
复制标题
归纳-归纳定义的有限公理化
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
A. Setzer
中科院分区：
文献类型：
--
作者：
F. Forsberg;A. Setzer
归纳-归纳是相互定义数据类型A：Set和B：A Set的原理。A和B都是归纳定义的，A的构造函数可以引用B，反之亦然。
Induction-induction is a priciple for mutually defining data types A : Set and B : A Set. Both A and B are defined inductively, and the constructors for A can refer to B and vice versa.
登录
查看更多内容
证明和程序的类型
DOI：
10.1007/978-3-540-68103-8_10
发表时间：
2008
期刊：
--
影响因子：
--
作者：
Møgelberg R
通讯作者：
Møgelberg R
轻柔的悬浮艺术
影响因子：
--
作者：
Chapman J
通讯作者：
Chapman J
影响因子：
1.1
作者：
Altenkirch, Thorsten;Ghani, Neil;Morris, Peter
通讯作者：
Morris, Peter
容器、单子和归纳递归
影响因子：
0.5
作者：
GHANI N
通讯作者：
GHANI N