Polymorphic rewriting conserves algebraic strong normalization
- 作者Val Breazu-Tannen; Jean Gallier
- 卷第83卷
- 期第1期
- 印刷ISSN0304-3975
- 文件大小1788.24KB
- 发表时间1991
- DOI10.1016/0304-3975(91)90037-3
- 页码3-28
同作者推荐
A differentially pumped gas targetJ. Bussière; J.M. Robson · 1971
More languages of generalised star height 1J.M. Robson · 1992
Hard Tiling Problems with Simple TilesC. Moore; J.M. Robson · 2001
Storage allocation is NP-hardJ.M. Robson · 1980
Separating strings with small automataJ.M. Robson · 1989
Alternation with restrictions on loopingJ.M. Robson · 1985
Immunity in tuberculosisJ.M. Robson; F.M. Sullivan · 1960
ZEN MACROBIOTIC DIETSRobson, J.R.K.; Konlande, J.E.; Larkin, F.A.; O'Connor, P.A.; Liu, Hsi-Yen; Horner, J.M. · 1973