Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage
复制标题
表征 Curien-Herbelin 对称 lambda 演算中的强归一化：扩展 Coppo-Dezani 遗产
DOI：
--
复制
发表时间：
2008
影响因子：
1.1
通讯作者：
P. Lescanne
中科院分区：
文献类型：
--
作者：
Daniel J. Dougherty;S. Ghilezan;P. Lescanne
