A compiled implementation of normalisation by evaluation*
A compiled implementation of normalisation by evaluation*
复制标题
通过评估进行归一化的编译实现*
DOI：
10.1017/s0956796812000019
复制
发表时间：
2012
影响因子：
1.1
通讯作者：
Tobias Nipkow
中科院分区：
文献类型：
--
作者：
Klaus Aehlig;Florian Haftmann;Tobias Nipkow
登录
查看更多内容
类型化 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：
--
发表时间：
2008
期刊：
Arch. Formal Proofs
影响因子：
--
作者：
Klaus Aehlig;T. Nipkow
通讯作者：
T. Nipkow
DOI：
--
发表时间：
2008
期刊：
International Conference on Theorem Proving in Higher Order Logics
影响因子：
--
作者：
Klaus Aehlig;Florian Haftmann;T. Nipkow
通讯作者：
T. Nipkow
通过评估标准化
DOI：
--
发表时间：
1998
期刊：
Prospects for Hardware Foundations
影响因子：
--
作者：
Ulrich Berger;Matthias Eberl;H. Schwichtenberg
通讯作者：
H. Schwichtenberg
通过评估进行标准化的术语重写
影响因子：
1
作者：
Ulrich Berger;Matthias Eberl;H. Schwichtenberg
通讯作者：
H. Schwichtenberg