文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
M. Coppo
发表
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus
M. Coppo, M. Dezani-Ciancaglini, P. Salle', 1979, ICALP.
A modular multi-microprocessor oriented for real-time controls
A. Giordana, M. Coppo, 1979 .