Semantic analysis of normalisation by evaluation for typed lambda calculus
Semantic analysis of normalisation by evaluation for typed lambda calculus
复制标题
通过评估类型化 lambda 演算进行标准化的语义分析
DOI：
10.1017/s0960129522000263
复制
发表时间：
2022
影响因子：
0.5
通讯作者：
Fiore M
中科院分区：
文献类型：
--
作者：
Fiore M
登录
查看更多内容
类型导向部分评估的语义解释
影响因子：
3.4
作者：
Andrzej Filinski
通讯作者：
Andrzej Filinski
类型化 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.5860/choice.37-4551
发表时间：
1999
期刊：
--
影响因子：
--
作者：
P. Taylor
通讯作者：
P. Taylor
影响因子：
0.5
作者：
T. Coquand;P. Dybjer
通讯作者：
P. Dybjer
DOI：
--
发表时间：
1995
期刊：
Category Theory and Computer Science
影响因子：
--
作者：
Thorsten Altenkirch;M. Hofmann;T. Streicher
通讯作者：
T. Streicher