Frex: dependently-typed algebraic simplification
Frex: dependently-typed algebraic simplification
复制标题
Frex：依赖类型的代数简化
DOI：
10.48550/arxiv.2306.15375
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Allais G
中科院分区：
文献类型：
--
作者：
Allais G
登录
查看更多内容
类型推断、Haskell 和依赖类型
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
Adam Gundry
通讯作者：
Adam Gundry
类型化 lambda 演算的求值函数的反函数
DOI：
10.1109/lics.1991.151645
发表时间：
1991
期刊：
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Ulrich Berger;H. Schwichtenberg
通讯作者：
H. Schwichtenberg
离散劳维尔理论
DOI：
10.1007/11548133_22
发表时间：
2005
期刊：
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
J. Power
通讯作者：
J. Power
论类型论中的宇宙
DOI：
10.1093/oso/9780198501275.003.0012
发表时间：
2011
期刊：
ArXiv
影响因子：
--
作者：
Erik Palmgren
通讯作者：
Erik Palmgren
二阶抽象语法的形式元理论
影响因子：
--
作者：
Fiore M
通讯作者：
Fiore M