Extracting exact real computation programs from proofs in type theory
Extracting exact real computation programs from proofs in type theory
复制标题
从类型论的证明中提取精确的实际计算程序
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Holger Thies
中科院分区：
文献类型：
--
作者：
Yuya Higashikawa;Naoki Katoh;Junichi Teruyama;Koji Watase;Holger Thies
登录
查看更多内容
最终余代数上的连续函数
影响因子：
0.3
作者：
Neil Ghani;P. Hancock;D. Pattinson
通讯作者：
D. Pattinson
影响因子：
0.6
作者：
Ghani N
通讯作者：
Ghani N
可通过有限自动机增量计算的实函数
DOI：
10.1016/j.tcs.2003.11.015
发表时间：
2004
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
M. Konečný
通讯作者：
M. Konečný
DOI：
10.1093/acprof:oso/9780198566519.003.0008
发表时间：
2005
期刊：
--
影响因子：
--
作者：
Seisenberger Monika
通讯作者：
Seisenberger Monika
高阶和嵌套数据类型的迭代和共迭代方案
影响因子：
1.1
作者：
Andreas Abel;R. Matthes;Tarmo Uustalu
通讯作者：
Tarmo Uustalu