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 .