On the Lattice of Program Metrics
On the Lattice of Program Metrics
复制标题
关于计划指标的格子
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Paolo Pistone
中科院分区：
文献类型：
--
作者：
Ugo Dal Lago;Naohiko Hoshino;Paolo Pistone
登录
查看更多内容
DOI：
10.48550/arxiv.2204.13654
发表时间：
2022
期刊：
International Conference on Formal Structures for Computation and Deduction
影响因子：
--
作者：
Ugo Dal Lago;F. Honsell;Marina Lenisa;Paolo Pistone
通讯作者：
Paolo Pistone
影响因子：
0.6
作者：
I. Mackie;L. Román;S. Abramsky
通讯作者：
S. Abramsky
关于 λ 项的度量推理：一般情况（长版）
DOI：
--
发表时间：
2017
期刊：
arXiv.org
影响因子：
--
作者：
Raphaëlle Crubillé;Ugo Dal Lago
通讯作者：
Ugo Dal Lago
DOI：
10.1145/2933575.2934518
发表时间：
2016
期刊：
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
影响因子：
--
作者：
R. Mardare;P. Panangaden;G. Plotkin
通讯作者：
G. Plotkin
DOI：
--
发表时间：
1989
期刊：
影响因子：
--
作者：
J. Girard
通讯作者：
J. Girard